External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Folding Narrowing for the Analysis of Mutual Exclusion Protocols

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]

Authors

Raúl López-Rueda

This author has not been identified. Look up 'Raúl López-Rueda' in Google

Duong Dinh Tran

This author has not been identified. Look up 'Duong Dinh Tran' in Google

Canh Minh Do

This author has not been identified. Look up 'Canh Minh Do' in Google

Santiago Escobar 0001

This author has not been identified. Look up 'Santiago Escobar 0001' in Google

Kazuhiro Ogata 0001

This author has not been identified. Look up 'Kazuhiro Ogata 0001' in Google
runs on