-
STŘÍBRNÁ, Jitka. Decidability and complexity of equivalences for simple process algebras. Edinburgh: University of Edinburgh, 1999, 125 s. LFCS Report Series, ECS-LFCS-99-408.URL
RIV: Odborná kniha. Obecná matematika. angličtina. Velká Británie a Severní Irsko.
Klíčová slova anglicky: decidability; computational complexity; strong bisimilarity; weak bisimilarity; Basic Process Algebras; Basic Parallel Process Algebras; polynomial ideals; Hilbert's Basis Theorem; Gr\
Změnila: Mgr. Jitka Stříbrná, Ph.D., učo 29038. Změněno: 7. 12. 1999 19:30.Podrobněji: https://is.muni.cz/publication/203015/cs -
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 -
STŘÍBRNÁ, Jitka. Decidability of strong bisimulation of Basic Parallel Processes using Hilbert's basis theorem. In Proceedings of Infinity'97: 2nd International Workshop on Verification of Infinite State System. Upsala, Sweden: UPMAIL, 1997, s. 63, 9 s. Technical Report No. 148. ISSN 1100-0686.URL
RIV: Stať ve sborníku. Obecná matematika. angličtina. Švédsko.
Klíčová slova anglicky: strong bisimilarity; Basic Parallel Process Algebras; computational complexity; polynomial ideals; Hilbert's Basis Theorem; Gr\
Změnila: Mgr. Jitka Stříbrná, Ph.D., učo 29038. Změněno: 13. 1. 2000 10:38.Podrobněji: https://is.muni.cz/publication/203031/cs