A Concurrent Object Calculus: Reduction and Typing (1998)

by A D Gordon, P D Hankin
Venue:In U. Nestmann and