Other formats:
BibTeX
LaTeX
RIS
@inproceedings{376592,
author = {Strejček, Jan},
address = {Aalborg (Denmark)},
booktitle = {EXPRESS'01 the 8th International Workshop on Expressiveness in Concurrency},
keywords = {(rewrite) transition system; concurrency; partial information; bisimulation equivalence; language expressibility},
language = {eng},
location = {Aalborg (Denmark)},
pages = {1-20},
publisher = {Elsevier Science},
title = {Rewrite Systems with Constraints},
url = {http://www.elsevier.nl/locate/entcs/volume52.html},
year = {2001}
}
TY - JOUR
ID - 376592
AU - Strejček, Jan
PY - 2001
TI - Rewrite Systems with Constraints
PB - Elsevier Science
CY - Aalborg (Denmark)
KW - (rewrite) transition system
KW - concurrency
KW - partial information
KW - bisimulation equivalence
KW - language expressibility
UR - http://www.elsevier.nl/locate/entcs/volume52.html
N2 - 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.
ER -
STREJČEK, Jan. Rewrite Systems with Constraints. In \textit{EXPRESS'01 the 8th International Workshop on Expressiveness in Concurrency}. Aalborg (Denmark): Elsevier Science, 2001, p.~1-20.
|
