A Truly Concurrent Semantics for Reversible CCS

Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna

Reversible CCS (RCCS) is a well-established, formal model for reversible communicating systems, which has been built on top of the classical Calculus of Communicating Systems (CCS)…