Formal techniques for networked and distributed systems, FORTE 2003

by FORTE 2003 (2003 Berlin, Germany)

This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, Septembe…