STŘÍBRNÁ, Jitka. Approximating Weak Bisimulation on Basic Process Algebras. Brno: Fakulta informatiky Masarykovy university, 1999, 18 s. FI MU Report Series FIMU-RS-99-05.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Approximating Weak Bisimulation on Basic Process Algebras
Autoři STŘÍBRNÁ, Jitka.
Vydání Brno, 18 s. FI MU Report Series FIMU-RS-99-05, 1999.
Nakladatel Fakulta informatiky Masarykovy university
Další údaje
Originální jazyk angličtina
Typ výsledku Odborná kniha
Obor 10101 Pure mathematics
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14330/99:00001706
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky basic process algebra; weak bisimulation; approximants; lower and upper bound
Štítky approximants, basic process algebra, lower and upper bound, weak bisimulation
Změnil Změnila: Mgr. Jitka Stříbrná, Ph.D., učo 29038. Změněno: 31. 3. 2000 13:14.
Návaznosti
GA201/99/D026, projekt VaVNázev: Rozhodnutelnost a složitost observačních ekvivalencí na nekonečně stavových procesech
Investor: Grantová agentura ČR, Rozhodnutelnost a složitost observačních ekvivalencí na nekonečně stavových procesech
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. 4. 2024 18:06