Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2002

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
Zobrazit podrobně
Zobrazeno: 5. 8. 2020 16:46