Frank S. De Boer,Gilles Barthe

• Formal Methods for Open Object-Based Distributed Systems