A Capability Calculus for Concurrency and Determinism.

Tachio Terauchi, Alex Aiken

Browse the full CONCUR paper archive.