Thermodynamic graph-rewriting

DOI10.2168/LMCS-11(2:13)2015zbMath1391.68064OpenAlexW2397775113MaRDI QIDQ2941762

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

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

thermodynamicsgraph rewritingstatistical mechanics

Mathematics Subject Classification ID

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

Related Items (1)

Fundamentals of compositional rewriting theory

Uses Software

• BioNetGen
• PySB
• Python
• KaSim

This page was built for publication: Thermodynamic graph-rewriting