Výpis publikací

1998

1. Hardness results for weak bisimilarity of simple process algebras

   STŘÍBRNÁ, Jitka. Hardness results for weak bisimilarity of simple process algebras. In Proceedings of MFCS'98 Workshop on Concurrency. Netherlands: Elsevier, 1998, s. 175-183. ENTCS Volume 18.

   URL

   Název anglicky: Hardness results for weak bisimilarity of simple process algebras
   RIV: Stať ve sborníku. Obecná matematika. angličtina. Česká republika.
   Klíčová slova anglicky: decidability; computational complexity; weak bisimilarity; Basic Process Algebras; Basic Parallel Process Algebras; NP-hardness; PSPACE-hardness;
   Změnila: Mgr. Jitka Stříbrná, Ph.D., učo 29038. Změněno: 13. 1. 2000 10:39.

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