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 Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003). Marseille, France: Universite de Provence, Marseille, 2003. s. 73-86, 14 s.
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
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
Originální jazyk angličtina
Typ výsledku Článek ve sborníku
Obor Informatika
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 infinite-state, process rewrite systems, state extension
Příznaky Recenzováno
Změnil Změnil: RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 16. 11. 2006 12:47.
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.
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 07:42

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 24. 10. 2017 07:42, 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