A capability calculus for concurrency and determinism

Tachio Terauchi, Alex Aiken

研究成果: Conference contribution

9 引用 (Scopus)

抜粋

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.

元の言語English
ホスト出版物のタイトルCONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Proceedings
出版者Springer Verlag
ページ218-232
ページ数15
ISBN(印刷物)3540373764, 9783540373766
出版物ステータスPublished - 2006 1 1
外部発表Yes
イベント17th International Conference on Concurrency Theory, CONCUR 2006 - Bonn, Germany
継続期間: 2006 8 272006 8 30

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
4137 LNCS
ISSN(印刷物)0302-9743
ISSN(電子版)1611-3349

Other

Other17th International Conference on Concurrency Theory, CONCUR 2006
Germany
Bonn
期間06/8/2706/8/30

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント A capability calculus for concurrency and determinism' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

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