Formal techniques for networked and distributed systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-19, 2006 : proceedings - Najm, Elie, 1952- (Lecture notes in computer science ;, 2006)