Fairness for non-interleaving concurrency (1989)

by M Kwiatkowska