Static versus dynamic reversibility in ccs I Lanese, D Medic, CA Mezzina
Acta Informatica 58, 1--34, 2021
29 2021 Static VS Dynamic Reversibility in CCS D Medic, CA Mezzina
Reversible Computation 2016 9720, 36--51, 2016
17 * 2016 A General Approach to Derive Uncontrolled Reversible Semantics I Lanese, D Medić
International Conference on Concurrency Theory (CONCUR) 171, 33:1--33:24, 2020
15 2020 A parametric framework for reversible π-calculi D Medić, CA Mezzina, I Phillips, N Yoshida
Information and Computation 275, 104644, 2020
11 2020 Explicit Identifiers and Contexts in Reversible Concurrent Calculus C Aubert, D Medić
International Conference on Reversible Computation, 144-162, 2021
9 2021 A Parametric Framework for Reversible -Calculi D Medic, CA Mezzina, I Phillips, N Yoshida
arXiv preprint arXiv:1807.11800, 2018
7 2018 Towards a formal account for software transactional memory D Medić, CA Mezzina, I Phillips, N Yoshida
International Conference on Reversible Computation, 255-263, 2020
6 2020 Towards Parametric Causal Semantics in pi-calculus. D Medic, CA Mezzina
ICTCS/CILC, 121-125, 2017
3 2017 Relative expressiveness of calculi for reversible concurrency M Doriana
EATCS Bulletin, 2019
2019