On reversibility and broadcast

Abstract

Causally consistent reversibility relates reversibility in a concurrent system with causality. Broadcast is a powerful primitive of communication used to model several distributed systems from local area networks, including wireless systems and lately multi-agent systems. In this paper, we study the interplay between reversibility and broadcast, in the setting of CCS endowed with a broadcast semantics. We first show how it is possible to reverse broadcast in CCS and then show that the obtained reversibility is causally consistent. We show the applicability of the proposed calculus by modelling the consensus algorithm.