DMCA

A Concurrent Object Calculus: Reduction and Typing (1998)

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