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.
Další formáty:   BibTeX LaTeX RIS
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
Originální 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í
WWW URL
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
Změnil Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 7. 3. 2000 11:49.
Návaznosti
GA201/97/0456, projekt VaVNá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ěrNá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ů
VytisknoutZobrazeno: 26. 5. 2024 17:33