A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages

Michael Papathomas. A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages. In Mario Tokoro, Oscar Nierstrasz, Peter Wegner, editors, Object-Based Concurrent Computing, ECOOP 91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings. Volume 612 of Lecture Notes in Computer Science, pages 53-79, Springer, 1991.

Abstract

Abstract is missing.