Informační systém MU
KUČERA, Antonín a Richard MAYR. Simulation Preorder over Simple Process Algebras. Information and Computation. Academic Press, roč. 173, č. 2, s. 184-198. ISSN 0890-5401. 2002.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Simulation Preorder over Simple Process Algebras
Autoři KUČERA, Antonín (203 Česká republika, garant) a Richard MAYR (276 Německo).
Vydání Information and Computation, Academic Press, 2002, 0890-5401.
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 Spojené státy
Utajení není předmětem státního či obchodního tajemství
Impakt faktor Impact factor: 0.628
Kód RIV RIV/00216224:14330/02:00005613
Organizační jednotka Fakulta informatiky
UT WoS 000174894900005
Klíčová slova anglicky concurrency; process algebras; simulation equivalence
Štítky concurrency, process algebras, simulation equivalence
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 18:17.
Anotace
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. First, we describe a general method how to utilize the decidability of bisimulation problems to solve (certain instances of) the corresponding simulation problems. For certain process classes, the method allows to design effective reductions of simulation problems to their bisimulation counterparts and some new decidability results for simulation have already been obtained in this way. Then we establish the decidability/tractability border for the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones w.r.t. the hierarchy of process rewrite systems.
Návaznosti
GA201/00/0400, projekt VaVNázev: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Grantová agentura ČR, Nekonečně stavové souběžné systémy - modely a verifikace
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ů
Zobrazeno: 29. 3. 2024 14:04