A Higher-Order Calculus for Graph Transformation

Maribel Fernández, Ian Mackie, Jorge Sousa Pinto. A Higher-Order Calculus for Graph Transformation. Electronic Notes in Theoretical Computer Science, 72(1):45-58, 2007. [doi]

Abstract

Abstract is missing.