A pi-calculus semantics for an object-based design notation (1993)

by Cliff B Jones
Venue:Proceedings of CONCUR'93, LNCS 715