Decidability of strong bisimulation of Basic Parallel Processes using Hilbert's basis theorem

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.

Základní údaje

Originální název

Decidability of strong bisimulation of Basic Parallel Processes using Hilbert's basis theorem

Autoři

STŘÍBRNÁ, Jitka

Vydání

Upsala, Sweden, Proceedings of Infinity'97: 2nd International Workshop on Verification of Infinite State System, od s. 63, 9 s. Technical Report No. 148, 1997

Nakladatel

UPMAIL

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10101 Pure mathematics

Stát vydavatele

Švédsko

Utajení

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

Odkazy

URL

Organizační jednotka

Fakulta informatiky

ISBN

ISSN 1100-0686

Klíčová slova anglicky

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

Štítky

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