@inproceedings{KRS2004,
 address = {Berlin, Heidelberg, New York},
 author = {Mojmír Křetínský and Vojtěch Řehák and Jan Strejček},
 booktitle = {CONCUR 2004 - Concurrency Theory},
 edition = {LNCS 3170},
 isbn = {3-540-22940-X},
 keywords = {process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability},
 language = {eng},
 location = {Berlin, Heidelberg, New York},
 pages = {355-370},
 publisher = {Springer},
 title = {Extended Process Rewrite Systems: Expressiveness and Reachability},
 year = {2004}
}