Reasoning About Systems with Transition Fairness.

Benjamin Aminof, Thomas Ball, Orna Kupferman

Browse the full LPAR paper archive.