11 search results - page 1 / 3 » fmco 2005 |
FMCO
2005
Springer
13 years 10 months ago
2005
Springer
FMCO
2005
Springer
13 years 10 months ago
2005
Springer
ion and Refinement in Model Checking Orna Grumberg Technion, Haifa, Israel FMCO, Amsterdam November 2005
FMCO
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
FMCO
2005
Springer
13 years 10 months ago
2005
Springer
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
FMCO
2005
Springer
13 years 10 months ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...