Formal Techniques For Networked And Distributed Systems-FORTE 2004, LNCS 3235 - Frutos-Escrig D.D. (Editor); Frutos-Escrig D.D. (Editor) & Nunez M. (Editor) (Springer Pub., 2004)