Impartiality, justice and fairness: The ethics of concurrent termination (1981)

by D J Lehmann, A Pnueli, J Stavi
Venue:In ICALP