This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 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
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.