Rewrite Systems with Constraints

STREJČEK, Jan. Rewrite Systems with Constraints. In EXPRESS'01 the 8th International Workshop on Expressiveness in Concurrency. Aalborg (Denmark): Elsevier Science, 2001, p. 1-20.

Basic information

Original name

Rewrite Systems with Constraints

Name in Czech

Přepisovací systémy s omezeními

Authors

STREJČEK, Jan (203 Czech Republic, guarantor)

Edition

Aalborg (Denmark), EXPRESS'01 the 8th International Workshop on Expressiveness in Concurrency, p. 1-20, 2001

Publisher

Elsevier Science

---

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

20206 Computer hardware and architecture

Country of publisher

Netherlands

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

URL

RIV identification code

RIV/00216224:14330/01:00004676

Organization unit

Faculty of Informatics

Keywords in English

(rewrite) transition system; concurrency; partial information; bisimulation equivalence; language expressibility

Tags

(rewrite) transition system, bisimulation equivalence, concurrency, language expressibility, partial information

---

Abstract

V originále

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.

In Czech

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.

---

Links

GA201/00/0400, research and development project	Name: Nekonečně stavové souběžné systémy - modely a verifikace Investor: Czech Science Foundation, Infinite state concurrent systems - models and verification
MSM 143300001, plan (intention)	Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing