Book DescriptionThis book constitutes the refereed proceedings of the 24th IFIP WG 6 1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in September 2004 The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions озмвк Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection.  Cassett2004 г 377 стр ISBN 3540232524.