2 0 0 3
6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems