Title: Formal Techniques for Networked and Distributed Systems - FORTE 2005
Subjects: Computer network protocols, Electronic data processing, Formal methods (Computer science), Congresses, Distributed processing