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]

Authors

Tachio Terauchi

This author has not been identified. Look up 'Tachio Terauchi' in Google

Alex Aiken

This author has not been identified. Look up 'Alex Aiken' in Google