A Model of Distributed Systems Based on Graph Rewriting (1987)

by P Degano, U Montanari
Venue:J.A.C.M