Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes

ČERNÁ, Ivana; Mojmír KŘETÍNSKÝ a Antonín KUČERA. Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes. B. Steffen, T. Margaria (Eds.). In Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96). Passau: University of Passau, 1996, s. 32-46. MIP-9614.

Základní údaje

Originální název

Bisimilarity is Decidable in the Union of Normed BPA and Normed BPP Processes

Autoři

ČERNÁ, Ivana ORCID; Mojmír KŘETÍNSKÝ a Antonín KUČERA
B. Steffen, T. Margaria (Eds.).

Vydání

Passau, Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96), s. 32-46, MIP-9614, 1996

Nakladatel

University of Passau

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

20206 Computer hardware and architecture

Stát vydavatele

Německo

Utajení

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

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/96:00000081

Organizační jednotka

Fakulta informatiky

---

Návaznosti

GA201/93/2123, projekt VaV	Název: Analýza konkurentních nekonečně stavových systémů Investor: Grantová agentura ČR, Analýza konkurentních nekonečně stavových systémů
MSM 143300001, záměr	Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů