TY  - RPRT
TI  - revTPL: The Reversible Temporal Process Language
AU  - Laura Bocchi
AU  - Ivan Lanese
AU  - Claudio Antares Mezzina
AU  - Shoji Yuen
PY  - 2024
DO  - 10.46298/lmcs-20(1:11)2024
UR  - https://arxiv.org/abs/2212.03687
ID  - 2212.03687
ER  -