Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings - Bonsangue, Marcello M.; Johnsen, Einar Broch (Springer Berlin Heidelberg : Imprint: Springer, 2007)