Unfolding and event structure semantics for graph grammars (1999)

by P Baldan, A Corradini, U Montanari
Venue:Proceedings of FoSSaCS ’99, number 1578 in LNCS