Deadlocking States in Context-Free Process Algebra

SRBA, Jiří. Deadlocking States in Context-Free Process Algebra. In Proceedings of the The 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98). Heidelberg: Springer-Verlag, 1998, s. 388-397. volume 1450 of LNCS.

Základní údaje

Originální název

Deadlocking States in Context-Free Process Algebra

Autoři

SRBA, Jiří

Vydání

Heidelberg, Proceedings of the The 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98), s. 388-397, volume 1450 of LNCS, 1998

Nakladatel

Springer-Verlag

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10000 1. Natural Sciences

Stát vydavatele

Německo

Utajení

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

Odkazy

URL

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/98:00000699

Organizační jednotka

Fakulta informatiky

UT WoS

000083173400035

Klíčová slova anglicky

BPA; process; deadlock; bisimulation

Štítky

bisimulation, BPA, deadlock, process

---

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ů