Martin Steffen,Gianluigi Zavattaro

• Formal Methods for Open Object-Based Distributed Systems