Extended Process Rewrite Systems: Expressiveness and Reachability.

Mojmr Kretnsk, Vojtech Rehk, Jan Strejcek

Browse the full CONCUR paper archive.