Formal techniques for networked and distributed systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference : Tokyo, Japan, June 10-13, 2008 : proceedings - Suzuki, Kenji, 1968- (Lecture notes in computer science ;, 2008)