JANČAR, Petr, Antonín KUČERA a Mayr RICHARD. Deciding Bisimulation-Like Equivalences with Finite-State Processes. Technical Report TUM. Germany: Technical University Munich, roč. 1998, TUM-I9805, s. 1-24, 1998.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Deciding Bisimulation-Like Equivalences with Finite-State Processes
Autoři JANČAR, Petr, Antonín KUČERA a Mayr RICHARD.
Vydání Technical Report TUM, Germany, Technical University Munich, 1998.
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/98:00001759
Organizační jednotka Fakulta informatiky
UT WoS 000082774400018
Klíčová slova anglicky process algebras; bisimilarity; finite-state systems
Štítky bisimilarity, finite-state systems, process algebras
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 1. 2000 14:03.
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ů
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: 29. 3. 2024 01:01