Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism

Biberstein, OlivierBuchs, DidierGuelfi, NicolasAgha, G.De Cindio, F.Rozenberg, G.2005-09-202005-09-202005-09-20200110.1007/3-540-45397-0_3https://infoscience.epfl.ch/handle/20.500.14299/216940Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalismtext::book/monograph::book part or chapter