Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols

DOI10.1007/11901914_31zbMath1161.68617OpenAlexW2141433854MaRDI QIDQ3522925

Javier Esparza, Giorgio Delzanno, Jiří Srba

Publication date: 4 September 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11901914_31

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

This page was built for publication: Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols