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