24 search results - page 1 / 5 » concur 2003 |
110
Voted
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
81
Voted
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
108
click to vote
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
We establish that on the domain of probabilistic automata, the trace distribution precongruence coincides with the simulation preorder.
105
Voted
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our app...