Formal techniques for networked and distributed systems -- FORTE 2004 : 24th IFIP WG 6.1 international conference : Madrid, Spain, September 27-30, 2004 : proceedings. : 24th IFIP TC 6/WG 6.1 international conference on formal techniques for networked and distributed systems : Sep 2004, Madrid, Spain.