A Concurrent Object Calculus: Reduction and Typing (1998)

by Andrew D. Gordon, Paul D. Hankin
Venue:HLCL'98 TO APPEAR