Fair Simulation.

Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani

Browse the full CONCUR paper archive.