@misc{Strejcek2000,
 address = {Brno},
 author = {Jan Strejček},
 keywords = {(rewrite) transition system; concurrency; partial information; bisimulation equivalence; language expressibility},
 language = {eng},
 location = {Brno},
 publisher = {FI MU},
 title = {{Constrained Rewrite Transition Systems}},
 url = {http://www.fi.muni.cz/reports/files/older/FIMU-RS-2000-12.pdf},
 year = {2000}
}