Raúl López-Rueda, Duong Dinh Tran, Canh Minh Do, Santiago Escobar 0001, Kazuhiro Ogata 0001. Folding Narrowing for the Analysis of Mutual Exclusion Protocols. In Malgorzata Biernacka, Carlos Olarte, Francesco Ricca, James Cheney, editors, Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025. ACM, 2025. [doi]
Abstract is missing.