Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Thermodynamic graph-rewriting

Vincent Danos ; Russell Harmer ; Ricardo Honorato-Zimmer.
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&nbsp;[&hellip;]
Published on June 24, 2015
Volume 11, Issue 2

Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems

Nicolas Behr ; Vincent Danos ; Ilias Garnier.
We develop a novel method to analyze the dynamics of stochastic rewriting systems evolving over finitary adhesive, extensive categories. Our formalism is based on the so-called rule algebra framework and exhibits an intimate relationship between the combinatorics of the rewriting rules (as encoded&nbsp;[&hellip;]
Published on July 10, 2020
Volume 16, Issue 3
  • < Previous
  • 1
  • Next >