Výpis publikací

2006

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

   DELZANNO, Giorgio, Javier ESPARZA a 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 s. ISBN 3-540-47237-1.

   Podrobněji: https://is.muni.cz/publication/702216/cs
2. Undecidability Results for Bisimilarity on Prefix Rewrite Systems

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

   Podrobněji: https://is.muni.cz/publication/702212/cs