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

DOI10.1017/S0960129512000345MaRDI QIDQ5740374zbMATH OpenOpenAlexFDO

Authors Ulrike Golas, Hartmut Ehrig, 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

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

Recommendations

• Multi-amalgamation in adhesive categories
• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
• Parallel independence of amalgamated graph transformations applied to model transformation
• scientific article; zbMATH DE number 3907796
• A generalized concurrent rule construction for double-pushout rewriting

Cites work

• Adhesive and quasiadhesive categories
• Algebraic approach to single-pushout graph transformation
• Amalgamation of graph transformations: a synchronization mechanism
• Correctness of high-level transformation systems relative to nested conditions
• Fundamentals of algebraic graph transformation
• Multi-amalgamation in adhesive categories
• Parallel independence of amalgamated graph transformations applied to model transformation

Cited in

(14)

• Constructing constraint-preserving interaction schemes in adhesive categories
• Variability-based model transformation: formal foundation and application
• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
• Fundamentals of compositional rewriting theory
• Multi-amalgamation in adhesive categories
• scientific article; zbMATH DE number 7453087 (Why is no real title available?)
• scientific article; zbMATH DE number 7453970 (Why is no real title available?)
• scientific article; zbMATH DE number 3907796 (Why is no real title available?)
• Amalgamation of domain specific languages with behaviour
• Towards Local Confluence Analysis for Amalgamated Graph Transformation
• Parallel independence of amalgamated graph transformations applied to model transformation
• Finding the right way to Rome: effect-oriented graph transformation
• 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

This page was built for publication: Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740374)