On the statistical thermodynamics of communicating processes

Giorgio Bacci, Vincent Danos, Ohad Kammar

Research output: Contribution to journalConference article in JournalResearchpeer-review

14 Citations (Scopus)
226 Downloads (Pure)


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
Book seriesLecture Notes in Computer Science
Pages (from-to)1-18
Publication statusPublished - 2011
Externally publishedYes


Dive into the research topics of 'On the statistical thermodynamics of communicating processes'. Together they form a unique fingerprint.

Cite this