Concurrent semantics of algebraic graph transformations (1999)

by P Baldan, A Corradini, H Ehrig, M Löwe, U Montanari, F Rossi
Venue:Handbook of Graph Grammars and Computing by Graph Transformation