Detailed Information on Publication Record
2006
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
KUČERA, Antonín and Philippe SCHNOEBELENBasic 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
Language
English
Type of outcome
Článek v odborném periodiku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Netherlands
Confidentiality degree
není předmětem státního či obchodního tajemství
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
International impact, Reviewed
Změněno: 30/11/2006 23:48, prof. RNDr. Antonín Kučera, Ph.D.
V originále
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.
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) |
| ||
| 1M0545, research and development project |
|