Opening book details…
Can I read A Capability Calculus for Concurrency and Determinism on EtoBox?
A Capability Calculus for Concurrency and Determinism by Tachio Terauchi; Alex Aiken is a Computer Science article available to read on EtoBox.
What is A Capability Calculus for Concurrency and Determinism about?
This article presents a static system for checking determinism (technically, partial confluence) of communicating concurrent processes. Our approach automatically detects partial confluence in programs communicating via a mix of different kinds of communication methods: rendezvous channels, buffered channels, broadcast channels, and reference cells. Our system reduces the partial confluence checking problem in polynomial time (in the size of the program) to the problem of solving a system of rational linear inequalities, and is thus efficient.
Who reads A Capability Calculus for Concurrency and Determinism?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Tachio Terauchi; Alex Aiken
- Publisher
- ACM
- Published
- 2008
- Language
- EN
- Field
- Computer Science (Physical Sciences)