A Capability Calculus for Concurrency and Determinism

CONCUR 2006 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/11817949_15 ◽

2006 ◽

pp. 218-232 ◽

Cited By ~ 9

Author(s):

Tachio Terauchi ◽

Alex Aiken

Download Full-text