Informační systém Masarykovy univerzity 

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

česky | in English

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, 14 s. ISSN 1571-0661.
Další formáty:   BibTeX LaTeX RIS
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
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor Computer sciences, information science, bioinformatics
Stát vydavatele Nizozemsko
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14330/04:00010392
Organizační jednotka Fakulta informatiky
ISSN 1571-0661
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
Změnil Změnil: doc. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 23. 6. 2009 17:11.
Anotace
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.
Anotace č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 VaVNázev: Verifikace nekonečně stavových systémů
Investor: Grantová agentura ČR, Standardní projekty
MSM 143300001, záměrNá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, Výzkumné záměry
VytisknoutZobrazeno: 24. 4. 2018 07:05

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 24. 4. 2018 07:05, 17. (lichý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému