Výpis publikací

2002

1. Note on the Tableau Technique for Commutative Transition Systems

   SRBA, Jiří. Note on the Tableau Technique for Commutative Transition Systems. In Proceedings of 5th Foundations of Software Science and Computation Structures (FOSSACS'02). Holland: Springer-Verlag, 2002, s. 387-401.

   Název anglicky: Note on the Tableau Technique for Commutative Transition Systems
   RIV/00216224:14330/02:00005681 Stať ve sborníku. Teorie informace. angličtina. Nizozemské království.
   Srba, Jiří (203 Česká republika, garant)
   Klíčová slova anglicky: bisimilarity checking; infinite systems; tableau
   Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 21. 5. 2003 09:45.

   Podrobněji: https://is.muni.cz/publication/403375/cs
2. Roadmap of Infinite Results

   SRBA, Jiří. Roadmap of Infinite Results. Bulletin of the European Association for Theoretical Computer Science. Bratislava: EATCS, 2002, roč. 2002, č. 78, s. 163-175. ISSN 78.

   Název anglicky: Roadmap of Infinite Results
   RIV/00216224:14330/02:00006589 Článek v odborném periodiku. Teorie informace. angličtina. Slovensko.
   Srba, Jiří (203 Česká republika, garant)
   Klíčová slova anglicky: infinite systems; bisimilarity; regularity; survey
   Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 11. 11. 2002 10:50.

   Podrobněji: https://is.muni.cz/publication/406219/cs
3. Strong Bisimilarity and Regularity of Basic Parallel Processes is PSPACE-Hard

   SRBA, Jiří. Strong Bisimilarity and Regularity of Basic Parallel Processes is PSPACE-Hard. In Proceedings of 19th International Symposium on Theoretical Aspects of Computer Science (STACS'02). Holland: Springer-Verlag, 2002, s. 535-546.

   Název anglicky: Strong Bisimilarity and Regularity of Basic Parallel Processes is PSPACE-Hard
   RIV/00216224:14330/02:00005680 Stať ve sborníku. Teorie informace. angličtina. Nizozemské království.
   Srba, Jiří (203 Česká republika, garant)
   Klíčová slova anglicky: bisimilarity checking; complexity; infinite systems
   Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 21. 5. 2003 09:46.

   Podrobněji: https://is.muni.cz/publication/403373/cs
4. Strong Bisimilarity and Regularity of Basic Process Algebra is PSPACE-Hard

   SRBA, Jiří. Strong Bisimilarity and Regularity of Basic Process Algebra is PSPACE-Hard. In Proceedings of 29th International Colloquium on Automata, Languages and Programming (ICALP'02). Netherlands: Springer-Verlag, 2002, s. 716-727.

   Název anglicky: Strong Bisimilarity and Regularity of Basic Process Algebra is PSPACE-Hard
   RIV/00216224:14330/02:00007147 Stať ve sborníku. Teorie informace. angličtina. Nizozemské království.
   Srba, Jiří (203 Česká republika, garant)
   Klíčová slova anglicky: bisimilarity checking; complexity; infinite systems
   Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 21. 5. 2003 09:46.

   Podrobněji: https://is.muni.cz/publication/483064/cs
5. Undecidability of Weak Bisimilarity for Pushdown Processes

   SRBA, Jiří. Undecidability of Weak Bisimilarity for Pushdown Processes. In Proceedings of 13th International Conference on Concurrency Theory (CONCUR'02). Holland: Springer-Verlag, 2002, s. 579-593.

   Název anglicky: Undecidability of Weak Bisimilarity for Pushdown Processes
   RIV/00216224:14330/02:00006588 Stať ve sborníku. Teorie informace. angličtina. Nizozemské království.
   Srba, Jiří (203 Česká republika, garant)
   Klíčová slova anglicky: weak bisimilarity; pushdown automata; infinite systems
   Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 21. 5. 2003 09:47.

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