@inproceedings{Rehak2004,
 address = {Bruxelles, Belgium},
 author = {Vojtěch Řehák},
 booktitle = {MOVEP'04: 6th school on MOdeling and VErifying parallel Processes},
 keywords = {process rewrite systems; state extension; infinite-state; expressivness; reachability; decidability},
 language = {eng},
 location = {Bruxelles, Belgium},
 pages = {77-82},
 publisher = {Universite Libre de Bruxelles},
 title = {Reachability for Extended Process Rewrite Systems},
 year = {2004}
}