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.

   Název česky: Monotonni Prefixove Prepisovani Rozsirene o Mnoziny a Overovani Rekurzivnich Ping-Pong Protokolu
   Název anglicky: Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
   RIV/00216224:14330/06:00015981 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
   Delzanno, Giorgio (380 Itálie) -- Esparza, Javier (724 Španělsko) -- Srba, Jiří (203 Česká republika, garant)
   Klíčová slova anglicky: prefix rewriting; security protocols
   Mezinárodní význam: ano
   Recenzováno: ano
   Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 24. 3. 2010 15:35.

   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.

   Název česky: Nerozhodnutelnost Bisimulace na Prefixovych Prepisovacich Systemech
   Název anglicky: Undecidability Results for Bisimilarity on Prefix Rewrite Systems
   RIV/00216224:14330/06:00015979 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
   Jančar, Petr (203 Česká republika) -- Srba, Jiří (203 Česká republika, garant)
   Klíčová slova anglicky: bisimilarity; undecidability; prefix rewriting
   Druh sborníku: postkonferenční sborník
   Mezinárodní význam: ano
   Recenzováno: ano
   Změnil: RNDr. JUDr. Vladimír Šmíd, CSc., učo 1084. Změněno: 6. 7. 2007 09:01.

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