Publication Records

2006

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

   DELZANNO, Giorgio, Javier ESPARZA and Jiří SRBA. Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. In Automated Technology for Verification and Analysis (ATVA'06). Netherlands: Springer-Verlag, 2006, 15 pp. ISBN 3-540-47237-1.

   More: https://is.muni.cz/publication/702216/en
2. Undecidability Results for Bisimilarity on Prefix Rewrite Systems

   JANČAR, Petr and Jiří SRBA. Undecidability Results for Bisimilarity on Prefix Rewrite Systems. LNCS, Foundations of Software Science and Computation Structures (FOSSACS'06). Netherlands: Spinger-Verlag, 2006, vol. 2006, No 3921, p. 277-291.

   More: https://is.muni.cz/publication/702212/en