STREJČEK, Jan. Rewrite Systems with Constraints. In EXPRESS'01 the 8th International Workshop on Expressiveness in Concurrency. Aalborg (Denmark): Elsevier Science. s. 1-20. 2001.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Rewrite Systems with Constraints
Název česky Přepisovací systémy s omezeními
Autoři STREJČEK, Jan (203 Česká republika, garant).
Vydání Aalborg (Denmark), EXPRESS'01 the 8th International Workshop on Expressiveness in Concurrency, s. 1-20, 2001.
Nakladatel Elsevier Science
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 20206 Computer hardware and architecture
Stát vydavatele Nizozemské království
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14330/01:00004676
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky (rewrite) transition system; concurrency; partial information; bisimulation equivalence; language expressibility
Štítky (rewrite) transition system, bisimulation equivalence, concurrency, language expressibility, partial information
Změnil Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 10. 1. 2005 15:31.
Anotace
We extend a widely used concept of rewrite systems with a unit holding a kind of global information which can influence and can be influenced by rewriting. The unit is similar to the store used in concurrent constraint programming, and can be also seen as a special (weak) state unit. We present how this extension changes the expressive power of rewrite systems classes which are included in Mayr's PRS hierarchy [8]. The new classes (fcBPA, fcBPP, fcPA, fcPAD, fcPAN, fcPRS) are described and inserted into the hierarchy.
Anotace česky
Známý koncept přepisovacích systémů rozšiřujeme o jednotku obsahující globální informaci, která může ovlivňovat přepisování a být jím ovlivněna. Tato jednotka je podobná jednotce "store" používané v Concurrent Constraint Programming a může být také chápána jako slabá stavová jednotka. Zkoumáme jak popsané rozšíření změní vyjadřovací sílu tříd zahrnutých v Mayerově hierarchii přepisovacích systémů. Nové třídy fcBPA, fcBPP, fcPA, fcPAD, fcPAN, fcPRS jsou vloženy do zmíněné hierarchie.
Návaznosti
GA201/00/0400, projekt VaVNázev: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Grantová agentura ČR, Nekonečně stavové souběžné systémy - modely a verifikace
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, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů
VytisknoutZobrazeno: 29. 3. 2024 11:41