scientific article; zbMATH DE number 7453087
From MaRDI portal
Publication:5020536
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/1904.08357
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
Fundamentals of compositional rewriting theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ 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 ⋮ Rule Algebras for Adhesive Categories ⋮ Concurrency theorems for non-linear rewriting theories ⋮ A generalized concurrent rule construction for double-pushout rewriting
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Combinatorial algebra for second-quantized quantum theory
- Combinatorial models of creation-annihilation
- Algebraic approach to single-pushout graph transformation
- Continuous-time Markov chains. An applications-oriented approach
- Restriction categories II: Partial map classification
- Characterisation of parallel independence in AGREE-rewriting
- On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
- Formal molecular biology
- Probabilistic timed graph transformation systems
- Boson normal ordering via substitutions and Sheffer-type polynomials
- Parallelism and Concurrency of Stochastic Graph Transformations
- Probabilistic Graph Transformation Systems
- Polymorphic Sesqui-Pushout Graph Rewriting
- AGREE – Algebraic Graph Rewriting with Controlled Embedding
- Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
- Rule-Based Modelling, Symmetries, Refinements
- Sesqui-Pushout Rewriting
- Parallelism and concurrency in high-level replacement systems
- Markov Chains
- Handbook of Graph Grammars and Computing by Graph Transformation
- Stochastic mechanics of graph rewriting
- Finitary $\mathcal{M}$ -Adhesive Categories
- Lie Groups, Lie Algebras, and Representations
- Graph Transformations
- Graph Transformations
- Adhesive and quasiadhesive categories
- Theoretical Aspects of Computing – ICTAC 2005
- Multi-amalgamation of rules with application conditions in -adhesive categories
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
This page was built for publication:
