Thermodynamic graph-rewriting

DOI10.2168/LMCS-11(2:13)2015MaRDI QIDQ2941762zbMATH OpenOpenAlexFDO

Authors Vincent Danos, Russell S. Harmer, Ricardo Honorato-Zimmer

Publication date 25 August 2015

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-11(2:13)2015

zbMATH Keywords

graph rewritingstatistical mechanicsthermodynamics

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Classical and relativistic thermodynamics (80A10)

Recommendations

• Thermodynamic Graph-Rewriting
• Moment semantics for reversible rule-based systems
• Stochastic mechanics of graph rewriting
• Incremental update for graph rewriting
• Rate equations for graphs

Cited in

(10)

• Graphs and thermodynamics
• Rate equations for graphs
• Moment semantics for reversible rule-based systems
• Thermodynamic Graph-Rewriting
• Thermodynamic tree: the space of admissible paths
• Incremental update for graph rewriting
• Stochastic mechanics of graph rewriting
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• The entropy of a thermodynamic graph
• Fundamentals of compositional rewriting theory

Describes a project that uses

Uses Software

• PySB
• KaSim
• BioNetGen
• Python

This page was built for publication: Thermodynamic graph-rewriting

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