Author: International Conference on Formal Methods for Open Object-Based Distributed Systems (12th 2010 Amsterdam, Netherlands)