TY  - RPRT
TI  - On the Encodability of Reversible Process Calculi
AU  - Ivan Lanese
AU  - Claudio Antares Mezzina
AU  - Iain Phillips
AU  - Irek Ulidowski
AU  - Shoji Yuen
PY  - 2026
UR  - https://arxiv.org/abs/2606.25916
ID  - 2606.25916
ER  -