2 0 0 3

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