Formal Methods for Open Object-Based Distributed Systems - Roberto Gorrieri; Heike Wehrheim; Roberto Gorrieri; Heike Wehrheim (Formal Methods for Open Object-Based Distributed Systems, 2006)