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

by M Papathomas
Venue:Proceedings of the ECOOP ’91 Workshop on Object-Based Concurrent Computing, LNCS 612