Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck. Liveness with invisible ranking. STTT, 8(3):261-279, 2006. [doi]
@article{FangPPZ06,
title = {Liveness with invisible ranking},
author = {Yi Fang and Nir Piterman and Amir Pnueli and Lenore D. Zuck},
year = {2006},
doi = {10.1007/s10009-005-0193-x},
url = {http://dx.doi.org/10.1007/s10009-005-0193-x},
researchr = {https://researchr.org/publication/FangPPZ06},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {8},
number = {3},
pages = {261-279},
}