Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo. Specifying Fairness Constraints and Model Checking with Non-intensional Strategies. In Kazuhiro Ogata 0001, Narciso Martí-Oliet, editors, Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers. Volume 14953 of Lecture Notes in Computer Science, pages 145-162, Springer, 2024. [doi]
Abstract is missing.