A Concurrent Object Calculus: Reduction and Typing (1998)

by Andrew D. Gordon , Paul D. Hankin
Venue:HLCL'98 TO APPEAR
Citations:79 - 4 self