An object calculus for asynchronous communication (1991)

by K Honda, M Tokoro
Venue:In Proc. ECOOP