@inproceedings{KRS2004b,
 address = {Amsterdam, The Netherlands},
 author = {Mojmír Křetínský and Vojtěch Řehák and Jan Strejček},
 booktitle = {INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems},
 edition = {2004},
 keywords = {process rewrite systems; state extension; infinite-state; decidability; reachability},
 language = {eng},
 location = {Amsterdam, The Netherlands},
 pages = {75-88},
 publisher = {Elsevier Science},
 title = {On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit},
 url = {http://dx.doi.org/10.1016/j.entcs.2003.10.008},
 year = {2004}
}