Reversible Sesqui-Pushout Rewriting

DOI10.1007/978-3-319-09108-2_11zbMath1423.68227OpenAlexW2139561512MaRDI QIDQ3192234

Vincent Danos, Sandro Stucki, Ricardo Honorato-Zimmer, Tobias Heindel

Publication date: 26 September 2014

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: http://infoscience.epfl.ch/record/252994

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 (8)

Unnamed Item ⋮ Parallelism in AGREE Transformations ⋮ Polymorphic Sesqui-Pushout Graph Rewriting ⋮ Fundamentals of compositional rewriting theory ⋮ Unnamed Item ⋮ Knowledge representation and update in hierarchies of graphs ⋮ Partial pullback complement rewriting along admissible matches ⋮ Concurrency theorems for non-linear rewriting theories

This page was built for publication: Reversible Sesqui-Pushout Rewriting