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]

Abstract

Abstract is missing.