Reasoning about Fair Concurrent Programs

Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper

Browse the full STOC paper archive.