On the Statistical Thermodynamics of Reversible Communicating Processes

Giorgio Bacci, Vincent Danos, Ohad Kammar

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

We propose a probabilistic interpretation of a class of reversible 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 [19]). This implies that such processes hit a success state in finite average time, if there is one.
Original languageEnglish
Title of host publicationAlgebra and Coalgebra in Computer Science
Subtitle of host publication4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
EditorsAndrea Corradini, Bartek Klin, Corina Cîrstea
PublisherSpringer Berlin Heidelberg
Number of pages18
ISBN (Electronic)978-3-642-22944-2
ISBN (Print)978-3-642-22943-5
Publication statusPublished - 2011

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg


Dive into the research topics of 'On the Statistical Thermodynamics of Reversible Communicating Processes'. Together they form a unique fingerprint.

Cite this