Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: König, Hartmut (Editor, http://id.loc.gov/vocabulary/relators/edt), Heiner, Monika (Editor, http://id.loc.gov/vocabulary/relators/edt), Wolisz, Adam (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Edition: 1st ed. 2003.
• Series: Lecture Notes in Computer Science, 2767
• Subjects: Computer communication systems.; Software engineering.; Operating systems (Computers).; Computer logic.; Computer Communication Networks.; Software Engineering.; Operating Systems.; Logics and Meanings of Programs.

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, September 29-October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion...