Formal techniques for networked and distributed systems - FORTE 2004 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27 - 30, 2004 ; proceedings (Lecture notes in computer science, 2004)