An object calculus for asynchronous communication. (1991)

by Kohei Honda, Mario Tokoro
Venue:of Lecture Notes in Computer Science,