Filtrování

    1999

    1. Decidability and complexity of equivalences for simple process algebras
      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

    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