A capability calculus for concurrency and determinism (2006)
Cached
Download Links
- [theory.stanford.edu]
- [www.kb.ecei.tohoku.ac.jp]
- [theory.stanford.edu]
- [www.kb.ecei.tohoku.ac.jp]
- DBLP
Other Repositories/Bibliography
by
Tachio Terauchi
,
Alex Aiken
| Venue: | In CONCUR 2006 - Concurrency Theory, 17th International Conference, Proceedings |
| Citations: | 18 - 2 self |
BibTeX
@INPROCEEDINGS{Terauchi06acapability,
author = {Tachio Terauchi and Alex Aiken},
title = {A capability calculus for concurrency and determinism},
booktitle = {In CONCUR 2006 - Concurrency Theory, 17th International Conference, Proceedings},
year = {2006},
pages = {218--232},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1
