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 Článek ve sborníku
Obor Informatika
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. 10. 2017 09:39

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 24. 10. 2017 09:39, 43. (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