Výpis publikací

2003

1. Undecidability of Weak Bisimilarity for PA-Processes

   SRBA, Jiří. Undecidability of Weak Bisimilarity for PA-Processes. In Proceedings of 6th International Conference on Developments in Language Theory (DLT'02),. Netherlands: Springer-Verlag, 2003, s. 197-208.

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