Informace o publikaci

Weakly Extended Process Rewrite Systems

Logo poskytovatele
Název česky Slabě rozšířené procesové přepisovací systémy
Autoři

ŘEHÁK Vojtěch

Rok publikování 2006
Druh Další prezentace na konferencích
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Popis Sjednocujeme pohled na stavově rozšíření procesových přepisovacích systémů a porovnáváme jejich vyjadřovací sílu. Dále studujeme rozhodnutelnost a složitost problémů týkajících se ověřování modelu a jiných procedur formální verifikace jako silné bisimulace, problému dosažitelnosti atd.
Související projekty:

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

Další info