Process semantics of graph reduction (1995)

by Simon Brock, Gerald Ostheimer