CO-OPN/2: A Concurrent Object-Oriented Formalism
1997
Fichiers
Détails
Titre
CO-OPN/2: A Concurrent Object-Oriented Formalism
Auteur(s)
Biberstein, Olivier ; Buchs, Didier ; Guelfi, Nicolas
Publié dans
Proc. Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Canterbury, UK, July 21-23 1997
Pages
57-72
Date
1997
Editeur
Chapman and Hall, London
Laboratoires
LGL
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > LGL - Laboratoire de génie logiciel
Papiers de conférence
Travail produit à l'EPFL
Publié
Papiers de conférence
Travail produit à l'EPFL
Publié
Date de création de la notice
2005-09-20