KUČERA, Antonín and Philippe SCHNOEBELEN. A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications. Theoretical Computer Science, Amsterdam, Nizozemí: Elsevier, 2006, vol. 358, 2-3, p. 315-333. ISSN 0304-3975.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
Name in Czech Sémantické porovnávání systémů s jejich konečnými specifikacemi
Authors KUČERA, Antonín (203 Czech Republic, guarantor) and Philippe SCHNOEBELEN (250 France).
Edition Theoretical Computer Science, Amsterdam, Nizozemí, Elsevier, 2006, 0304-3975.
Other information
Original language English
Type of outcome article in a journal
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Netherlands
Confidentiality degree is not subject to a state or trade secret
Impact factor Impact factor: 0.843
RIV identification code RIV/00216224:14330/06:00017031
Organization unit Faculty of Informatics
UT WoS 000239748500009
Keywords in English concurrency; semantic equivalences; infinite-state systems
Tags concurrency, infinite-state systems, semantic equivalences
Tags International impact, Reviewed
Changed by Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 30/11/2006 23:48.
Abstract
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.
Abstract (in Czech)
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ů.
Links
MSM0021622419, plan (intention)Name: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministry of Education, Youth and Sports of the CR, Research Intents
1M0545, research and development projectName: Institut Teoretické Informatiky
Investor: Ministry of Education, Youth and Sports of the CR, Research Centres (National Research Programme)
PrintDisplayed: 26/5/2020 03:17