Fair bisimulation (2000)

by T Henzinger, S Rajamani
Venue:In Proc. 4th TACAS, LNCS 1785