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

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy