On the Statistical Thermodynamics of Reversible Communicating Processes
From MaRDI portal
Publication:3090855
DOI10.1007/978-3-642-22944-2_1zbMath1344.68160OpenAlexW2148570690MaRDI QIDQ3090855
Vincent Danos, Giorgio Bacci, Ohad Kammar
Publication date: 2 September 2011
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: http://vbn.aau.dk/ws/files/72917434/mamas.pdf
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Statistical thermodynamics (82B30)
Related Items (10)
Reversibility in session-based concurrency: a fresh look ⋮ Controlled Reversibility and Compensations ⋮ Quantitative Analysis of Concurrent Reversible Computations ⋮ A collective interpretation semantics for reversing Petri nets ⋮ Unnamed Item ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Causal-consistent rollback in a tuple-based language ⋮ Equilibrium and termination II: the case of Petri nets ⋮ Unnamed Item ⋮ Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
This page was built for publication: On the Statistical Thermodynamics of Reversible Communicating Processes
