KUČERA, Antonín a Mayr RICHARD. Simulation Preorder on Simple Process Algebras. Technical Report TUM. Germany: Technical University Munich, roč. 1999, TUM-I9902, s. 1-23, 1999.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Simulation Preorder on Simple Process Algebras
Autoři KUČERA, Antonín a Mayr RICHARD.
Vydání Technical Report TUM, Germany, Technical University Munich, 1999.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 20206 Computer hardware and architecture
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/99:00001766
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky process algebras; weak bisimilarity; finite-state systems
Štítky finite-state systems, process algebras, weak bisimilarity
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 15:13.
Návaznosti
GA201/98/P046, projekt VaVNázev: Rozhodnutelné problémy v algebrách procesů
Investor: Grantová agentura ČR, Rozhodnutelné problémy v algebrách procesů
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: 19. 4. 2024 16:21