[Guo18]
Xu Guo.
Performance analysis of Israeli-Jalfon's algorithm using probabilistic model checking.
Concurrency and Computation: Practice and Experience.
2018.
[Uses probabilistic model checking and PRISM to verify Israeli‐Jalfon's self‐stabilization algorithm.]
|
