Marcello M. Bonsangue,Einar Broch Johnsen

• Formal Methods for Open Object-Based Distributed Systems