Kevin Tran, Johannes Åman Pohjola, Robert Sison, Gerwin Klein. A Rely-Guarantee-Based Simulation for Cooperative Semantics. In Zhiming Liu 0001, Adnane Saoud, Heike Wehrheim, editors, Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings. Volume 16237 of Lecture Notes in Computer Science, pages 87-105, Springer, 2025. [doi]
Abstract is missing.