|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2010 25th Annual IEEE Symposium on Logic in Computer Science
The Expressive Power of Synchronizations
Edinburgh, United Kingdom
July 11-July 14
ISBN: 978-0-7695-4114-3
| ASCII Text | x | ||
| Cosimo Laneve, Antonio Vitale, "The Expressive Power of Synchronizations," Logic in Computer Science, Symposium on, pp. 382-391, 2010 25th Annual IEEE Symposium on Logic in Computer Science, 2010. | |||
| BibTex | x | ||
| @article{ 10.1109/LICS.2010.15, author = {Cosimo Laneve and Antonio Vitale}, title = {The Expressive Power of Synchronizations}, journal ={Logic in Computer Science, Symposium on}, volume = {0}, year = {2010}, issn = {1043-6871}, pages = {382-391}, doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2010.15}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Logic in Computer Science, Symposium on TI - The Expressive Power of Synchronizations SN - 1043-6871 SP382 EP391 A1 - Cosimo Laneve, A1 - Antonio Vitale, PY - 2010 KW - Expressive power KW - process calculi KW - synchronizations KW - dining philosophers problem KW - hypercube VL - 0 JA - Logic in Computer Science, Symposium on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/LICS.2010.15
A synchronization is a mechanism allowing two or more processes to perform actions at the same time. We study the expressive power of synchronizations gathering more and more processes simultaneously. We demonstrate the non-existence of a uniform, fully distributed translation of Milner's CCS with synchronizations of $n+1$ processes into CCS with synchronizations of $n$ processes that retains a "reasonable'' semantics. We then extend our study to CCS with symmetric synchronizations allowing a process to perform both inputs and outputs at the same time. We demonstrate that synchronizations containing more than three input/output items are encodable in those with three items, while there is an expressivity gap between three and two.
Index Terms:
Expressive power, process calculi, synchronizations, dining philosophers problem, hypercube
Citation:
Cosimo Laneve, Antonio Vitale, "The Expressive Power of Synchronizations," lics, pp.382-391, 2010 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Usage of this product signifies your acceptance of the Terms of Use.
