Formal verification of timed properties of randomized distributed algorithms
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Verification of randomized distributed algorithms
Lectures on formal methods and performance analysis
Probabilistic simulations for probabilistic processes
Nordic Journal of Computing
Compositional Verification of Randomized Distributed Algorithms
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
Distributed Computing
Switched PIOA: parallel composition via distributed scheduling
Theoretical Computer Science - Components and objects
A testing scenario for probabilistic processes
Journal of the ACM (JACM)
Switched probabilistic i/o automata
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Hi-index | 0.00 |