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.

   Podrobněji: https://is.muni.cz/publication/403375/cs
2. 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.

   Podrobněji: https://is.muni.cz/publication/403373/cs
3. 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.

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