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.

Základní údaje

Originální název

Decidability and complexity of equivalences for simple process algebras

Autoři

STŘÍBRNÁ, Jitka

Vydání

Edinburgh, 125 s. LFCS Report Series, ECS-LFCS-99-408, 1999

Nakladatel

University of Edinburgh

---

Další údaje

Jazyk

angličtina

Typ výsledku

Odborná kniha

Obor

10101 Pure mathematics

Stát vydavatele

Velká Británie a Severní Irsko

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; strong bisimilarity; weak bisimilarity; Basic Process Algebras; Basic Parallel Process Algebras; polynomial ideals; Hilbert's Basis Theorem; Gr\

Štítky

Basic Parallel Process Algebras, Basic Process Algebras, computational complexity, decidability, Gr\, Hilbert's Basis Theorem, polynomial ideals, strong bisimilarity, weak bisimilarity