Composition and Decomposition of DPO Transformations with Borrowed Context

DOI10.1007/11841883_12zbMath1156.68417OpenAlexW2160187079MaRDI QIDQ3541957

Hartmut Ehrig, Barbara König, Paolo Baldan

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_12

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

Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) ⋮ RPO semantics for mobile ambients ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Synthesising CCS bisimulation using graph rewriting ⋮ G-Reactive Systems as Coalgebras

This page was built for publication: Composition and Decomposition of DPO Transformations with Borrowed Context