An object calculus for asynchronous communication (1991)

by K Honda, M Tokoro
Venue:Proceedings of ECOOP '91, volume 512 of LNCS