An object calculus for asynchronous communication (1991)

by K Honda, M Tokoro
Venue:In ECOOP ’91, European Conference on Object-Oriented Programming, LNCS