Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations (2006)

by H Ehrig, U Prange
Venue:Algebra, Meaning and Computation. Essays Dedicated to J.A. Goguen