A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Sémantické porovnávání systémů s jejich konečnými specifikacemi
Autoři

KUČERA Antonín SCHNOEBELEN Philippe

Rok publikování 2006
Druh Článek v odborném periodiku
Časopis / Zdroj Theoretical Computer Science
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova concurrency; semantic equivalences; infinite-state systems
Popis 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ů.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.