On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit

KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK a Jan STREJČEK. On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. In INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems. 2004. vyd. Amsterdam, The Netherlands: Elsevier Science, 2004, s. 75-88. ISSN 1571-0661.

Základní údaje

Originální název

On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit

Název česky

O rozšířených procesových přepisovacích systémech: Přepisovací systémy se slabou konečně stavovou jednotkou

Autoři

KŘETÍNSKÝ, Mojmír (203 Česká republika, garant), Vojtěch ŘEHÁK (203 Česká republika) a Jan STREJČEK (203 Česká republika)

Vydání

2004. vyd. Amsterdam, The Netherlands, INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems, od s. 75-88, 14 s. 2004

Nakladatel

Elsevier Science

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Nizozemské království

Utajení

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

Odkazy

URL

Kód RIV

RIV/00216224:14330/04:00010392

Organizační jednotka

Fakulta informatiky

ISSN

Klíčová slova anglicky

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

Štítky

decidability, infinite-state, process rewrite systems, reachability, state extension

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

Various classes of infinite-state processes are often specified by rewrite systems. We extend Mayr's Process Rewrite Systems (PRS) by finite-state unit whose transition function satisfies some restrictions inspired by weak finite automata. We classify these models by their expressiveness and show how the hierarchy of new classes (w.r.t.~bisimilarity) is related to both PRS hierarchy of Mayr and two other hierarchies of PRS extensions.

Česky

Rozšiřujeme Mayrovy přepisovací systémy o konečně stavovou jednotku, jejíž přechodová funkce podléhá restrikcím inspirovaným teorií slabých konečných automatů. Klasifikujeme třídy podle jejich výjadřovací síly vzhledem k silné bisimulaci a dokazujeme vztahy mezi nimi navzájem, vzhledem k dříve definovaným rozšířením i k třídám nerozšířených procesových přepisovacích systémů.

---

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ů