1. Aubert, C.: Concurrencies in reversible concurrent calculi. In: Mezzina, C.A., Podlaski, K. (eds.) RC 2022. LNCS, vol. 13354, pp. 146–163. Springer (2022). https://doi.org/10.1007/978-3-031-09005-9_10
2. Aubert, C.: The correctness of concurrencies in (Reversible) concurrent calculi (Jan 2023). https://hal.science/hal-03950347, under revision for JLAMP
3. Aubert, C., Browning, P.: Implementation of reversible distributed calculus. In: Kutrib, M., Meyer, U. (eds.) RC 2023. LNCS, Springer (2023). https://hal.science/hal-04035458v1, to appear
4. Aubert, C., Browning, P.: IRDC-CCSK (5 2023). https://github.com/CinRC/IRDC-CCSK
5. Aubert, C., Cristescu, I.: Structural equivalences for reversible calculi of communicating systems (2020). https://hal.science/hal-02571597, research report