Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings - Gorrieri, Roberto (Herausgeber); Wehrheim, Heike (Herausgeber) (Programming and Software Engineering, 2006)