D 2004

Reachability for Extended Process Rewrite Systems

ŘEHÁK, Vojtěch

Základní údaje

Originální název

Reachability for Extended Process Rewrite Systems

Název česky

Dosažitelnost pro rozšířené procesové přepisovací systémy

Autoři

ŘEHÁK, Vojtěch (203 Česká republika, garant)

Vydání

Bruxelles, Belgium, MOVEP'04: 6th school on MOdeling and VErifying parallel Processes, od s. 77-82, 6 s. 2004

Nakladatel

Universite Libre de Bruxelles

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Belgie

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/04:00010695

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability

Štítky

Příznaky

Recenzováno
Změněno: 16. 11. 2006 12:47, doc. RNDr. Vojtěch Řehák, Ph.D.

Anotace

ORIG CZ

V originále

We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the reachability problem for PRS extended with a so called weak finite state unit is decidable.

Česky

Sjednocujeme pohled na rozšíření procesových přepisovacích systemů a prezentujeme důkaz rozhodnutelnosti problému dosažitelnosti pro procesové přepisovací systémy rozšířené o slabou konečně stavovou jednotku.

Návaznosti

GA201/03/1161, projekt VaV
Název: Verifikace nekonečně stavových systémů
Investor: Grantová agentura ČR, Verifikace nekonečně stavových systémů
MSM 143300001, záměr
Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů