[Nor04]
G. Norman.
Analysing Randomized Distributed Algorithms.
In C. Baier, B. Haverkort, H. Hermanns, J-P. Katoen, M. Siegle and F. Vaandrager (editors), Validation of Stochastic Systems: A Guide to Current Research, volume 2925 of Lecture Notes in Computer Science, pages 384--418, Springer.
October 2004.
[ps.gz]
[pdf]
[bib]
[Describes techniques to verify randomised distributed algorithms, including various PRISM-based case studies.]
|
Notes:
The original publication is available at link.springer.com.
|
Links:
[Google]
[Google Scholar]
|
![]() |