@inproceedings{ba7acdd8c8354322970b70953c4bf641,

title = "On the Statistical Thermodynamics of Reversible Communicating Processes",

abstract = "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.",

author = "Giorgio Bacci and Vincent Danos and Ohad Kammar",

year = "2011",

doi = "10.1007/978-3-642-22944-2_1",

language = "English",

isbn = "978-3-642-22943-5",

volume = "6859",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin Heidelberg",

pages = "1--18",

editor = "Andrea Corradini and Bartek Klin and Corina C{\^i}rstea",

booktitle = "Algebra and Coalgebra in Computer Science",

}