A capability calculus for concurrency and determinism

Tachio Terauchi, Alex Aiken. A capability calculus for concurrency and determinism. ACM Transactions on Programming Languages and Systems, 30(5), 2008. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: