Title: Formal techniques for networked and distributed systems
Subjects: Congresses, Computer network protocols, Electronic data processing, Formal methods (Computer science), Distributed processing, Logic design, Computer networks, Operating systems (Computers), Software engineering, System design, Electronic data processing, distributed processing