A capability calculus for concurrency and determinism

Tachio Terauchi, Alex Aiken

Research output: Contribution to journalArticle

22 Citations (Scopus)

Abstract

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.

Original languageEnglish
Article number27
JournalACM Transactions on Programming Languages and Systems
Volume30
Issue number5
DOIs
Publication statusPublished - 2008 Aug 1
Externally publishedYes

Keywords

  • Capabilities
  • Determinism
  • Type systems

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'A capability calculus for concurrency and determinism'. Together they form a unique fingerprint.

  • Cite this