Sciweavers

LICS
2010
IEEE
13 years 2 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
ENTCS
2007
81views more  ENTCS 2007»
13 years 3 months ago
Self-assembling Trees
RCCS is a variant of Milner’s CCS where processes are allowed a controlled form of backtracking. It turns out that the RCCS reinterpretation of a CCS process is equivalent, in t...
Vincent Danos, Jean Krivine, Fabien Tarissan
ECOOP
1993
Springer
13 years 7 months ago
A Timed Calculus for Distributed Objects with Clocks
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
Ichiro Satoh, Mario Tokoro