Danos MPP 2011

From MPPWiki

Jump to: navigation, search

On the Statistical Thermodynamics of Reversible Communicating Processes

  • Vincent Danos, Giorgio Bacci and Ohad Kammar
  • University of Edinburgh


We propose a probabilistic interpretation of a class of re-versible communicating processes. The rate of forward and backward computing steps, instead of being given explicitly, is derived from a set of formal energy parameters. This is similar to the Metropolis-Hastings algorithm. We find a lower bound on energy costs which guarantees that a process converges to a probabilistic equilibrium state (a grand canonical ensemble in statistical physics terms). This implies that such processes hit a success state in finite average time, if there is one.

Workshop Page

Personal tools