Rewriting: An eective model of concurrency (1994)

by P Viry
Venue:PARLE'94, Proc. Sixth Int. Conf. on Parallel Architectures and Languages Europe