Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Proceedings of the 8th International Conference on Concurrency Theory, Springer, 1997, pp. 273–287.
LibreCat: https://research-explorer.ista.ac.at/record/4496
DOI: 10.1007/3-540-63141-0_19