Priority Scheduling of Distributed Systems Based on Model Checking (0)

by Ananda Basu
Venue:79–93 (cit. on p. 53). 119 Ittai Balaban, Amir Pnueli, and Lenore D. Zuck. “Modular Ranking Abstraction”. In: International Journal of Foundations of Computer Science 18.1 (2007