A. Corradini, D. Duval, M. Löwe, L. Ribeiro, R. Machado et al., On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches, Graph Transformation, Specifications, and Nets -In Memory of Hartmut Ehrig, vol.10800, pp.1-18, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01984729

A. Corradini, U. Montanari, F. Rossi, and H. Ehrig, Algebraic Approaches to Graph Transformation -Part I: Basic Concepts and Double Pushout Approach, Handbook of Graph Grammars and Computing by Graph Transformations, vol.1, pp.163-246, 1997.

H. Ehrig, K. Ehrig, U. Prange-&-gabriele, and . Taentzer, Fundamentals of Algebraic Graph Transformation, Monographs in Theoretical Computer Science. An EATCS Series, 2006.

, True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans, 2019.

, Combining Parallel Graph Rewriting and Quotient Graphs, 13th International Workshop on Rewriting Logic and its Applications, 2020.

, µ (L µ ) = µ(L µ ) and µ (K µ ) = µ(K µ ), hence V µ = V µ , A µ = A µ and µ = µ . Let H = G R µ?(R µ ) and H = G R µ ?(R µ ), Therefore, µ(L µ ) G M . Let j be the canonical injection from µ(L µ ) to G M and µ = j ? µ, so that µ ? M (r µ , G M )