Initial conflicts and dependencies: critical pairs revisited

DOI10.1007/978-3-319-75396-6_6zbMath1383.68045OpenAlexW2786362585MaRDI QIDQ1708183

Fernando Orejas, Kristopher Born, Gabriele Taentzer, Daniel Strüber, Leen Lambers

Publication date: 4 April 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-75396-6_6

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)

Related Items (8)

Confluence up to Garbage ⋮ Initial Conflicts for Transformation Rules with Nested Application Conditions ⋮ Unification of drags and confluence of drag rewriting ⋮ Unnamed Item ⋮ Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems ⋮ Confluence up to garbage in graph transformation ⋮ Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality

Uses Software

• AGG
• Verigraph

Cites Work

• AGG

This page was built for publication: Initial conflicts and dependencies: critical pairs revisited