Fairness: The Ethics of Concurrent Termination (1981)

by D Lehmann, A Pnueli, J Stavi Impartiality, Justice
Venue:Proc. of the 8th Int. Coll. on Automata, Languages and Programming. Springer LNCS 115