Alternating refinement relations. (1998)

by R Alur, T A Henzinger, O Kupferman, M Vardi
Venue:In Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR’98),