Fair simulation (0)

by T A Henzinger, O Kupferman, S Rajamani
Venue:Information and Computation