Rewriting: An e#ective model of concurrency (1994)

by Patrick Viry
Venue:in Proceedings of PARLE '94 -- Parallel Architectures and Languages