Danos MPP 2011
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.