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]
@inproceedings{Lopez-RuedaTD0025,
title = {Folding Narrowing for the Analysis of Mutual Exclusion Protocols},
author = {Raúl López-Rueda and Duong Dinh Tran and Canh Minh Do and Santiago Escobar 0001 and Kazuhiro Ogata 0001},
year = {2025},
doi = {10.1145/3756907.3756911},
url = {https://doi.org/10.1145/3756907.3756911},
researchr = {https://researchr.org/publication/Lopez-RuedaTD0025},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025},
editor = {Malgorzata Biernacka and Carlos Olarte and Francesco Ricca and James Cheney},
publisher = {ACM},
isbn = {979-8-4007-2085-7},
}