Rule Algebras for Adhesive Categories

zbMath1444.68083arXiv1807.00785MaRDI QIDQ3300790

Nicolas Behr, Paweł Sobociński

Publication date: 30 July 2020

Full work available at URL: https://arxiv.org/abs/1807.00785

zbMATH Keywords

stochastic mechanicsadhesive categoriesdouble pushout (DPO) rewritingrule algebras

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)

Related Items (11)

Recent developments in combinatorial aspects of normal ordering ⋮ Fundamentals of compositional rewriting theory ⋮ A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs ⋮ A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Lax pullback complements in partial morphism categories ⋮ Rewriting theory for the life sciences: a unifying theory of CTMC semantics ⋮ A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications ⋮ Concurrency theorems for non-linear rewriting theories ⋮ A generalized concurrent rule construction for double-pushout rewriting

Uses Software

• OEIS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatorial algebra for second-quantized quantum theory
• Combinatorial models of creation-annihilation
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• Boson normal ordering via substitutions and Sheffer-type polynomials
• Fundamentals of algebraic graph transformation
• On the axioms for adhesive and quasiadhesive categories
• Toposes Are Adhesive
• Markov Chains
• Handbook of Graph Grammars and Computing by Graph Transformation
• The on-line encyclopedia of integer sequences
• Stochastic mechanics of graph rewriting
• Delaying Constraint Solving in Symbolic Graph Transformation
• Finitary $\mathcal{M}$ -Adhesive Categories
• Hereditary Pushouts Reconsidered
• Lie Groups, Lie Algebras, and Representations
• Graph Transformations
• Adhesive and quasiadhesive categories
• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

This page was built for publication: Rule Algebras for Adhesive Categories