Formal Methods for Open Object-Based Distributed Systems 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings - Najm, Elie; Najm, Elie; Nestmann, Uwe; Nestmann, Uwe; Stevens, Perdita; Stevens, Perdita (Springer Berlin Heidelberg : Imprint: Springer, 2003)