24 search results - page 1 / 5 » concur 2003 |
152
Voted
CONCUR
2003
Springer
16 years 4 days ago
2003
Springer
167
click to vote
CONCUR
2003
Springer
16 years 4 days ago
2003
Springer
We establish that on the domain of probabilistic automata, the trace distribution precongruence coincides with the simulation preorder.
168
click to vote
CONCUR
2003
Springer
16 years 4 days 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...