Cited By
View all- Tiks MMartens OVainikko EKuhn SGonzalez Boix EScholliers C(2024)A Reversible Debugger for MPI ApplicationsProceedings of the 2nd ACM International Workshop on Future Debugging Techniques10.1145/3678720.3685316(16-21)Online publication date: 13-Sep-2024
- Lanese IPhillips IUlidowski I(2024)An Axiomatic Theory for Reversible ComputationACM Transactions on Computational Logic10.1145/364847425:2(1-40)Online publication date: 16-Apr-2024
- Bernardo MMezzina C(2024)Reversibility in Process Calculi with Nondeterminism and ProbabilitiesTheoretical Aspects of Computing – ICTAC 202410.1007/978-3-031-77019-7_15(251-271)Online publication date: 22-Nov-2024
- Show More Cited By