Control Properties in Object-Oriented Specifications

A. Diagne. Control Properties in Object-Oriented Specifications. In Gul Agha, Fiorella de Cindio, Grzegorz Rozenberg, editors, Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Volume 2001 of Lecture Notes in Computer Science, pages 514-533, Springer, 2001. [doi]

Abstract

Abstract is missing.