@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",
note = "Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; 17th International Conference on Concurrency Theory, CONCUR 2006 ; Conference date: 27-08-2006 Through 30-08-2006",
year = "2006",
doi = "10.1007/11817949_15",
language = "English",
isbn = "3540373764",
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",
}