Moment semantics for reversible rule-based systems

DOI10.1007/978-3-319-20860-2_1MaRDI QIDQ2822487zbMATH OpenOpenAlexFDO

Authors Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Publication date 30 September 2016

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-20860-2_1

zbMATH Keywords

graph rewritingmoment semanticsreversible computingrule-based systemsstochastic processes

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Thermodynamic Graph-Rewriting
• Stochastic mechanics of graph rewriting
• Thermodynamic graph-rewriting
• Incremental update for graph rewriting
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics

Cites work

• Adhesive and quasiadhesive categories
• Algebraic approach to single-pushout graph transformation
• Approximating Markov processes by averaging
• Coarse-graining the dynamics of ideal branched polymers
• DPO Transformation with Open Maps
• Emergence of Scaling in Random Networks
• Foundations of Software Science and Computation Structures
• Graph fission in an evolving voter model
• scientific article; zbMATH DE number 3951715 (Why is no real title available?)
• Intrinsic information carriers in combinatorial dynamical systems
• Markov Chains
• Matrix representation of the stationary measure for the Multispecies TASEP
• Pattern graphs and rule-based models: the semantics of Kappa
• Rigid geometric constraints for Kappa models
• Sesqui-Pushout Rewriting
• SOME RESULTS ON SOLVABILITY OF ORDINARY LINEAR DIFFERENTIAL EQUATIONS IN LOCALLY CONVEX SPACES
• Stochastic graph transformation systems
• Stochastic processes in physics and chemistry.
• Theory of constraints and application conditions: from graphs to high-level structures

Cited in

(9)

• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• Rate equations for graphs
• Labelled graph rewriting meets social networks
• Thermodynamic graph-rewriting
• Computing continuous-time Markov chains as transformers of unbounded observables
• Incremental update for graph rewriting
• Combinatorial conversion and moment bisimulation for stochastic rewriting systems
• Stochastic mechanics of graph rewriting
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics

Describes a project that uses

Uses Software

• PySB
• pa-ode-gen
• iNA

This page was built for publication: Moment semantics for reversible rule-based systems

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