Formal Techniques for Networked and Distributed Systems - FORTE 2004 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings - Frutos-Escrig, David de; Frutos-Escrig, David de; Nunez, Manuel; Nunez, Manuel (Springer Berlin Heidelberg : Imprint: Springer, 2004)