J 1997

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

Základní údaje

Originální název

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

Autoři

Vydání

Electronic Notes in Theoretical Computer Science, Elsevier, 1997

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

20206 Computer hardware and architecture

Stát vydavatele

Nizozemské království

Utajení

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

Odkazy

Kód RIV

RIV/00216224:14330/97:00000102

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

concurrency; bisimilarity; infinite-state systems

Štítky

Změněno: 13. 1. 2000 10:53, prof. RNDr. Antonín Kučera, Ph.D.

Návaznosti

GA201/97/0456, projekt VaV
Název: Meze algoritmické verifikovatelnosti nekonečně stavových systémů
Investor: Grantová agentura ČR, Meze algoritmické verifikovatelnosti 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ů