D 2003

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

Základní údaje

Originální název

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

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í

Marseille, France, Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003), od s. 73-86, 14 s. 2003

Nakladatel

Universite de Provence, Marseille

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

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/03:00008151

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

process rewrite systems; state extension; infinite-state

Štítky

Příznaky

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

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.

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ů