KUČERA, Antonín a Philippe SCHNOEBELEN. A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications. Theoretical Computer Science, Amsterdam, Nizozemí: Elsevier, 2006, roč. 358, 2-3, s. 315-333. ISSN 0304-3975.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
Název česky Sémantické porovnávání systémů s jejich konečnými specifikacemi
Autoři KUČERA, Antonín (203 Česká republika, garant) a Philippe SCHNOEBELEN (250 Francie).
Vydání Theoretical Computer Science, Amsterdam, Nizozemí, Elsevier, 2006, 0304-3975.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor Computer sciences, information science, bioinformatics
Stát vydavatele Nizozemsko
Utajení není předmětem státního či obchodního tajemství
Impakt faktor Impact factor: 0.843
Kód RIV RIV/00216224:14330/06:00017031
Organizační jednotka Fakulta informatiky
UT WoS 000239748500009
Klíčová slova anglicky concurrency; semantic equivalences; infinite-state systems
Štítky concurrency, infinite-state systems, semantic equivalences
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: 30. 11. 2006 23:48.
Anotace
We introduce a generic family of behavioral relations for which the regular equivalence problem (i.e., comparing an arbitrary transition system to some finite-state specification) can be reduced to the model checking problem against simple modal formulae. As an application, we derive decidability of several regular equivalence problems for well-known families of infinite-state systems.
Anotace česky
Definujeme obecnou třídu sémantických ekvivalencí pro které je problém ekvivalence s daným konečných systémem redukovatelný na problém ověření jisté formule temporální logiky. Aplikací tohoto obecného výsledku získáme řadu výsledků pro konkrétní třídy nekonečně-stavových systémů.
Návaznosti
MSM0021622419, záměrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
1M0545, projekt VaVNázev: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumná centra (Národní program výzkumu)
VytisknoutZobrazeno: 17. 10. 2019 15:17