conference paper

CO-OPN/2: A Concurrent Object-Oriented Formalism

Biberstein, Olivier
•
Buchs, Didier  
•
Guelfi, Nicolas
1997
Proc. Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Canterbury, UK, July 21-23 1997