Formal techniques for networked and distributed systems, FORTE 2003
FORTE 2003 (2003 Berlin, Germany)