Sesqui-Pushout Rewriting

DOI10.1007/11841883_4zbMath1156.68423OpenAlexW1836559177MaRDI QIDQ3541945

Barbara König, Frank Hermann, Andrea Corradini, Tobias Heindel

Publication date: 27 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11841883_4

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Related Items

An Institution for Graph Transformation ⋮ Ensuring Correctness of Model Transformations While Remaining Decidable ⋮ Sesqui-Pushout Rewriting with Type Refinements ⋮ Parallelism in AGREE Transformations ⋮ Pullback in partial morphism categories ⋮ Deduction as reduction, from a categorical point of view ⋮ Polymorphic Sesqui-Pushout Graph Rewriting ⋮ AGREE – Algebraic Graph Rewriting with Controlled Embedding ⋮ Multilevel Typed Graph Transformations ⋮ Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics ⋮ Fundamentals of compositional rewriting theory ⋮ Computational category-theoretic rewriting ⋮ Unification of drags and confluence of drag rewriting ⋮ Graph Transformation Units – An Overview ⋮ Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ A lattice-theoretical perspective on adhesive categories ⋮ How to delete categorically -- two pushout complement constructions ⋮ Accretive computation of global transformations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Incremental Update for Graph Rewriting ⋮ Subobject transformation systems ⋮ The PBPO graph transformation approach ⋮ Knowledge representation and update in hierarchies of graphs ⋮ Parallel coherent graph transformations ⋮ Processes and unfoldings: concurrent computations in adhesive categories ⋮ Finitary -adhesive categories ⋮ Algebraic graph rewriting with controlled embedding ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems ⋮ Single pushout rewriting in comprehensive systems of graph-like structures ⋮ Rewriting theory for the life sciences: a unifying theory of CTMC semantics ⋮ Partial pullback complement rewriting along admissible matches ⋮ A Heterogeneous Pushout Approach to Term-Graph Transformation ⋮ Moment Semantics for Reversible Rule-Based Systems ⋮ Model Transformation and Induced Instance Migration: A Universal Framework ⋮ Constructing optimized constraint-preserving application conditions for model transformation rules ⋮ Composition of multilevel domain-specific modelling languages ⋮ A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications ⋮ Rule-based transformation of graph rewriting rules: towards higher-order graph grammars ⋮ Partial pullback complement rewriting ⋮ Concurrency theorems for non-linear rewriting theories ⋮ Graph rewriting and relabeling with PBPO\textsuperscript{+}