Towards a Truly Concurrent Semantics for Reversible CCS

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_7 ◽

2021 ◽

pp. 109-125

Author(s):

Hernán Melgratti ◽

Claudio Antares Mezzina ◽

G. Michele Pinna

Download Full-text