Delzanno, Giorgio

• BRICS Report Series No. 14 (2006): RS-14 Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols - Articles
  Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
  Abstract  PDF