A concurrent object calculus: reduction and typing (0)

by Andrew D Gordon, Paul D Hankin
Venue:In Proceedings HLCL’98, volume 16. Elsevier ENTCS