Informace o publikaci
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 | |
| Rok publikování | 2006 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Theoretical Computer Science |
| Fakulta / Pracoviště MU | |
| 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: |