Reference: G. Delzanno, J. Esparza, and J. Srba. Monotonic set-extended prefix rewriting and verification of recursive ping-pong protocols. Technical report, BRICS, 2006. Suggested BibTeX entry: @techreport{DES06b,     author = {G. Delzanno and J. Esparza and J. Srba},     institution = {BRICS},     title = {Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols},     year = {2006} }

GZipped PostScript (227 kB) PDF (304 kB) Conference version