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.

   URL

   Název anglicky: Undecidability of Weak Bisimilarity for PA-Processes
   RIV/00216224:14330/03:00008469 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
   Srba, Jiří (203 Česká republika, garant)
   Klíčová slova anglicky: weak bisimilarity; undecidability; PA-processes
   Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 26. 5. 2004 13:39.

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