2006
Weakly Extended Process Rewrite Systems
ŘEHÁK, VojtěchZákladní údaje
Originální název
Weakly Extended Process Rewrite Systems
Název česky
Slabě rozšířené procesové přepisovací systémy
Autoři
ŘEHÁK, Vojtěch (203 Česká republika, garant, domácí)
Vydání
MOVEP'06: 7th school on MOdeling and VErifying parallel Processes, 2006
Další údaje
Jazyk
angličtina
Typ výsledku
Prezentace na konferencích
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Francie
Utajení
není předmětem státního či obchodního tajemství
Kód RIV
RIV/00216224:14330/06:00015476
Organizační jednotka
Fakulta informatiky
Klíčová slova anglicky
process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 28. 4. 2011 08:26, doc. RNDr. Vojtěch Řehák, Ph.D.
V originále
We unify a view on state extensions of Process Rewrite Systems (PRS) and compare their expressive power. In addition, we study decidability and complexity of problems related to model checking and other formal verification procedures such as weak and strong bisimulation, the reachability problem, etc.
Česky
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.
Návaznosti
| GD102/05/H050, projekt VaV |
| ||
| MSM0021622419, záměr |
| ||
| 1ET408050503, projekt VaV |
| ||
| 1M0545, projekt VaV |
|