Thermodynamic graph-rewriting

We develop a new thermodynamic approach to stochastic graph-rewriting. The ingredients are a finite set of reversible graph-rewriting rules called generating rules, a finite set of connected graphs P called energy patterns and an energy cost function. The idea is that the generators define the quali...

Full description

Bibliographic Details
Main Authors: Vincent Danos, Russell Harmer, Ricardo Honorato-Zimmer
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2015-06-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/1573/pdf