A Capability Calculus for Concurrency and Determinism

Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be partially confluent than previous approaches and is able to handle a mix of different kinds of communication channels, including shared reference cells.

• Type: Conference
• Year: 2006
• Where: CONCUR
• Authors: Tachio Terauchi, Alex Aiken
• Keywords: Capability Calculus, Channel-communicating Concurrent Processes, CONCUR 2006, Distributed And Parallel Computing, Partial Confluence