Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings - Elie Najm, Uwe Nestmann, Perdita Stevens ((Lecture Notes in Computer Science))