Rule Algebras for Adhesive Categories
From MaRDI portal
Publication:3300790
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
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
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 ⋮ 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
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
