Formal Methods for Open Object-Based Distributed Systems

gan Bonsangue, Marcello M., Johnsen, Einar Broch
Cyhoeddwyd 2020

It's All About Coordination

gan Boer, Frank de, Bonsangue, Marcello, Rutten, Jan
Cyhoeddwyd 2020

Formal Methods for Components and Objects

gan Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul de
Cyhoeddwyd 2020

Formal Methods for Components and Objects

gan Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul de
Cyhoeddwyd 2020