Alternating re nement relations (1998)

by R Alur, T A Henzinger, O Kupferman, M Y Vardi
Venue:In Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR'98), Lecture Notes in Computer Science