Title: Formal techniques for networked and distributed systems-- FORTE 2004
Subjects: Computer network protocols, Electronic data processing, Formal methods (Computer science), Congresses, Distributed processing