Masaryk University

Publication Records

česky | in English

Filter publications

    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, p. 175-183. ENTCS Volume 18.
      More: https://is.muni.cz/publication/203023/en
Display details
Displayed: 12/6/2024 02:28