Proving time bounds for randomized distributed algorithms
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Liveness-preserving simulation relations
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
From I/O Automata to Timed I/O Automata
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
A theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
Distributed Computing
The level of handshake required for managing a connection
Distributed Computing
On the refinement of liveness properties of distributed systems
Formal Methods in System Design
| Hi-index | 0.00 |