A capability calculus for concurrency and determinism

Tachio Terauchi, Alex Aiken

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationCONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Proceedings
PublisherSpringer Verlag
Pages218-232
Number of pages15
Volume4137 LNCS
ISBN (Print)3540373764, 9783540373766
Publication statusPublished - 2006
Externally publishedYes
Event17th International Conference on Concurrency Theory, CONCUR 2006 - Bonn, Germany
Duration: 2006 Aug 272006 Aug 30

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4137 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other17th International Conference on Concurrency Theory, CONCUR 2006
CountryGermany
CityBonn
Period06/8/2706/8/30

Fingerprint

Determinism
Confluence
Communication Channels
Concurrency
Concurrent
Calculus
Partial
Cell

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Terauchi, T., & Aiken, A. (2006). A capability calculus for concurrency and determinism. In CONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Proceedings (Vol. 4137 LNCS, pp. 218-232). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4137 LNCS). Springer Verlag.

A capability calculus for concurrency and determinism. / Terauchi, Tachio; Aiken, Alex.

CONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Proceedings. Vol. 4137 LNCS Springer Verlag, 2006. p. 218-232 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4137 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Terauchi, T & Aiken, A 2006, A capability calculus for concurrency and determinism. in CONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Proceedings. vol. 4137 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4137 LNCS, Springer Verlag, pp. 218-232, 17th International Conference on Concurrency Theory, CONCUR 2006, Bonn, Germany, 06/8/27.
Terauchi T, Aiken A. A capability calculus for concurrency and determinism. In CONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Proceedings. Vol. 4137 LNCS. Springer Verlag. 2006. p. 218-232. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Terauchi, Tachio ; Aiken, Alex. / A capability calculus for concurrency and determinism. CONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Proceedings. Vol. 4137 LNCS Springer Verlag, 2006. pp. 218-232 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{13667fdc13be4a7d89aa8001316b3606,
title = "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.",
author = "Tachio Terauchi and Alex Aiken",
year = "2006",
language = "English",
isbn = "3540373764",
volume = "4137 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "218--232",
booktitle = "CONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Proceedings",
address = "Germany",

}

TY - GEN

T1 - A capability calculus for concurrency and determinism

AU - Terauchi, Tachio

AU - Aiken, Alex

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33749580034&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33749580034&partnerID=8YFLogxK

M3 - Conference contribution

SN - 3540373764

SN - 9783540373766

VL - 4137 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 218

EP - 232

BT - CONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Proceedings

PB - Springer Verlag

ER -