Výpis publikací

2004

1. Completeness Results for Undecidable Bisimilarity Problems

   SRBA, Jiří. Completeness Results for Undecidable Bisimilarity Problems. In Proccedings of the 5th International Workshop on Verification of Infinite-State Systems (INFINITY'03). Marseille, France: Universire de Provence, Marseille, 2004, s. 9-22.

   Podrobněji: https://is.muni.cz/publication/555232/cs
2. Highly Undecidable Questions for Process Algebras

   JANCAR, Petr a Jiří SRBA. Highly Undecidable Questions for Process Algebras. In Proceedings of 3rd IFIP International Conference on Theoretical Computer Science (TCS'04). USA: Kluwer, 2004, s. ?, 14 s.

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