Sciweavers

LICS
2010
IEEE
13 years 11 months ago
The Expressive Power of Synchronizations
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 proc...
Cosimo Laneve, Antonio Vitale