Fairness for Non-Interleaving Concurrency (1989)

by Marta Zofia Kwiatkowska