Multi-amalgamation of rules with application conditions in -adhesive categories

DOI10.1017/S0960129512000345zbMath1342.68178OpenAlexW2073642557MaRDI QIDQ5740374

Hartmut Ehrig, Ulrike Golas, Annegret Habel

Publication date: 26 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129512000345

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Categories of machines, automata (18B20)

Related Items (9)

Amalgamation of domain specific languages with behaviour ⋮ Towards Local Confluence Analysis for Amalgamated Graph Transformation ⋮ Constructing constraint-preserving interaction schemes in adhesive categories ⋮ Fundamentals of compositional rewriting theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Variability-based model transformation: formal foundation and application ⋮ A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications ⋮ A generalized concurrent rule construction for double-pushout rewriting

Cites Work

• Algebraic approach to single-pushout graph transformation
• Amalgamation of graph transformations: a synchronization mechanism
• Fundamentals of algebraic graph transformation
• Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
• Correctness of high-level transformation systems relative to nested conditions
• Multi-Amalgamation in Adhesive Categories
• Adhesive and quasiadhesive categories

This page was built for publication: Multi-amalgamation of rules with application conditions in -adhesive categories