conference paper
CO-OPN/2: A Concurrent Object-Oriented Formalism
1997
Proc. Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Canterbury, UK, July 21-23 1997
Type
conference paper
Author(s)
Date Issued
1997
Publisher
Published in
Proc. Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Canterbury, UK, July 21-23 1997
Start page
57
End page
72
Written at
EPFL
EPFL units
Available on Infoscience
September 20, 2005
Use this identifier to reference this record