scientific article; zbMATH DE number 7453970

MaRDI QIDQ5020951zbMATH OpenFDO

Authors Nicolas Behr

Publication date 7 January 2022

Full work available at URL https://arxiv.org/abs/1904.12829, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2019.4

Mathematics Subject Classification ID

Category theory; homological algebra (18-XX) Computer science (68-XX)

Cites work

• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
• 50 Shades of Rule Composition
• A software package for chemically inspired graph transformation
• Abstract graph derivations in the double pushout approach
• Abstract Interpretation of Cellular Signalling Networks
• Adhesive and quasiadhesive categories
• Amalgamation of graph transformations: a synchronization mechanism
• Correctness of high-level transformation systems relative to nested conditions
• Finitary \(\mathcal{M}\)-adhesive categories
• Formal molecular biology
• Foundations of Software Science and Computation Structures
• Fundamentals of algebraic graph transformation
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 4049016 (Why is no real title available?)
• scientific article; zbMATH DE number 1950547 (Why is no real title available?)
• scientific article; zbMATH DE number 1956561 (Why is no real title available?)
• scientific article; zbMATH DE number 1504833 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• scientific article; zbMATH DE number 7453087 (Why is no real title available?)
• Multi-amalgamation in adhesive categories
• Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories
• Processes and unfoldings: concurrent computations in adhesive categories
• Resolution-Like Theorem Proving for High-Level Conditions
• Rule algebras for adhesive categories
• Rule composition in graph transformation models of chemical reactions
• Rule-Based Modelling of Cellular Signalling
• Rule-Based Modelling, Symmetries, Refinements
• Sesqui-Pushout Rewriting
• Stochastic mechanics of graph rewriting
• Towards mechanistic prediction of mass spectra using graph transformation
• Unfolding Grammars in Adhesive Categories
• Unfolding semantics of graph transformation

Cited in

(6)

• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• Concurrency theorems for non-linear rewriting theories
• scientific article; zbMATH DE number 4092789 (Why is no real title available?)
• Fundamentals of compositional rewriting theory
• Tracelet Hopf algebras and decomposition spaces (extended abstract)
• Pregeometric spaces from Wolfram model rewriting systems as homotopy types

Describes a project that uses

Uses Software

• MedOlDatschgerl
• BioNetGen

This page was built for publication:

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