Ruth Breu, Elena Zucca. An Algebraic Compositional Semantics of an Object Oriented Notation with Concurrency. In C. E. Veni Madhavan, editor, Foundations of Software Technology and Theoretical Computer Science, Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings. Volume 405 of Lecture Notes in Computer Science, pages 131-142, Springer, 1989.
Abstract is missing.