Multi-amalgamation of rules with application conditions in -adhesive categories
From MaRDI portal
Publication:5740374
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
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
