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.

   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.

   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.

   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.

   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.

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