A Truly Concurrent Semantics for Reversible CCS

HernĂ¡n C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna. A Truly Concurrent Semantics for Reversible CCS. Logical Methods in Computer Science, 20(4), October - December 2024. [doi]

Abstract

Abstract is missing.