[NF18]
Mehran Alidoost Nia and Fathiyeh Faghih.
Probabilistic Analysis of Self-Stabilizing Systems: A Case Study on a Mutual Exclusion Algorithm.
In Proc. 2018 Real-Time and Embedded Systems and Technologies (RTEST'18), IEEE.
2018.
[Uses PRISM to analyse and improve a mutual exclusion algorithm.]
|
