@inproceedings{Strejcek2001,
 address = {Aalborg (Denmark)},
 author = {Jan Strejček},
 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}
}