Comparing the Classes BPA and BPA with Deadlocks

SRBA, Jiří. Comparing the Classes BPA and BPA with Deadlocks. Technical report, Faculty of Informatics, Masaryk University, Brno. 1998, roč. 1998, č. 05, s. 1-36. ISSN FIMU-RS-98-05.

Základní údaje

Originální název

Comparing the Classes BPA and BPA with Deadlocks

Autoři

SRBA, Jiří

Vydání

Technical report, Faculty of Informatics, Masaryk University, Brno, 1998, FIMU-RS-98-05

---

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10000 1. Natural Sciences

Stát vydavatele

Česká republika

Utajení

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

Odkazy

URL

Kód RIV

RIV/00216224:14330/98:00001570

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

process algebra; deadlock; bisimulation

Štítky

bisimulation, deadlock, process algebra

---

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ů