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.

Základní údaje

Originální název

Hardness results for weak bisimilarity of simple process algebras

Autoři

STŘÍBRNÁ, Jitka

Vydání

Netherlands, Proceedings of MFCS'98 Workshop on Concurrency, s. 175-183, ENTCS Volume 18, 1998

Nakladatel

Elsevier

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10101 Pure mathematics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

decidability; computational complexity; weak bisimilarity; Basic Process Algebras; Basic Parallel Process Algebras; NP-hardness; PSPACE-hardness;

Štítky

Basic Parallel Process Algebras, Basic Process Algebras, computational complexity, decidability, NP-hardness, PSPACE-hardness, weak bisimilarity