Thomas Haas, Roland Meyer 0001, Hernán Ponce de León, Andrés Lomelí Garduño. Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Models. Proceedings of the ACM on Programming Languages, 10(POPL):1296-1325, 2026. [doi]
Abstract is missing.