STŘÍBRNÁ, Jitka. Approximating Weak Bisimulation on Basic Process Algebras. In Mathematical Foundations of Computer Science 1999, Proceedings. Berlin Heidelberg New York: Springer-Verlag, 1999, s. 366-374. Lecture Notes in Computer Science 1672. ISBN 3-540-66408-4.
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í Berlin Heidelberg New York, Mathematical Foundations of Computer Science 1999, Proceedings, s. 366-374, Lecture Notes in Computer Science 1672, 1999.
Nakladatel Springer-Verlag
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10101 Pure mathematics
Stát vydavatele Polsko
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14330/99:00001148
Organizační jednotka Fakulta informatiky
ISBN 3-540-66408-4
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:13.
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: 23. 9. 2024 08:36