24 search results - page 1 / 5 » concur 2003 |
CONCUR
2003
Springer
13 years 9 months ago
2003
Springer
CONCUR
2003
Springer
13 years 9 months ago
2003
Springer
CONCUR
2003
Springer
13 years 9 months ago
2003
Springer
CONCUR
2003
Springer
13 years 9 months ago
2003
Springer
We establish that on the domain of probabilistic automata, the trace distribution precongruence coincides with the simulation preorder.
CONCUR
2003
Springer
13 years 9 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...