International Conference on Formal Methods for Open Object-Based Distributed Systems (4th 2000 Stanford, Calif.)