Publication Records

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, p. 387-401.

   Name (in English): Note on the Tableau Technique for Commutative Transition Systems
   RIV/00216224:14330/02:00005681 Proceedings paper. Information theory. English. Netherlands.
   Srba, Jiří (203 Czech Republic, guarantor)
   Keywords in English: bisimilarity checking; infinite systems; tableau
   Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 21/5/2003 09:45.

   More: https://is.muni.cz/publication/403375/en
2. Roadmap of Infinite Results

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

   Name (in English): Roadmap of Infinite Results
   RIV/00216224:14330/02:00006589 Article in a journal. Information theory. English. Slovakia.
   Srba, Jiří (203 Czech Republic, guarantor)
   Keywords in English: infinite systems; bisimilarity; regularity; survey
   Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 11/11/2002 10:50.

   More: https://is.muni.cz/publication/406219/en
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, p. 535-546.

   Name (in English): Strong Bisimilarity and Regularity of Basic Parallel Processes is PSPACE-Hard
   RIV/00216224:14330/02:00005680 Proceedings paper. Information theory. English. Netherlands.
   Srba, Jiří (203 Czech Republic, guarantor)
   Keywords in English: bisimilarity checking; complexity; infinite systems
   Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 21/5/2003 09:46.

   More: https://is.muni.cz/publication/403373/en
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, p. 716-727.

   Name (in English): Strong Bisimilarity and Regularity of Basic Process Algebra is PSPACE-Hard
   RIV/00216224:14330/02:00007147 Proceedings paper. Information theory. English. Netherlands.
   Srba, Jiří (203 Czech Republic, guarantor)
   Keywords in English: bisimilarity checking; complexity; infinite systems
   Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 21/5/2003 09:46.

   More: https://is.muni.cz/publication/483064/en
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, p. 579-593.

   Name (in English): Undecidability of Weak Bisimilarity for Pushdown Processes
   RIV/00216224:14330/02:00006588 Proceedings paper. Information theory. English. Netherlands.
   Srba, Jiří (203 Czech Republic, guarantor)
   Keywords in English: weak bisimilarity; pushdown automata; infinite systems
   Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 21/5/2003 09:47.

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