An object calculus for asynchronous communication (1991)

by K Honda, M Tokoro
Venue:Proc. ECOOP 91, Geneve