Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.

Published in: Appl. Categorical Struct. (2001)

Keyphrases