TY  - RPRT
TI  - A Truly Concurrent Semantics for Reversible CCS
AU  - Hernán Melgratti
AU  - Claudio Antares Mezzina
AU  - G. Michele Pinna
PY  - 2024
DO  - 10.46298/lmcs-20(4:20)2024
UR  - https://arxiv.org/abs/2309.14011
ID  - 2309.14011
ER  -