Publications
Journals
Lanese I, Phillips I, Ulidowski I, 2024, An axiomatic theory for reversible computation, Acm Transactions on Computational Logic, ISSN:1529-3785
Graversen E, Phillips I, Yoshida N, 2022, Event structures for the reversible early internal π-calculus, Journal of Logical and Algebraic Methods in Programming, Vol:124, ISSN:2352-2208, Pages:1-46
Conference
Glück R, Lanese I, Mezzina CA, et al., 2023, Towards a taxonomy for reversible computation approaches, 15th International Conference on Reversible Computation (RC), Springer, Pages:24-39
Medic D, Mezzina CA, Phillips I, et al., 2021, Towards a formal account for software transactional memory, Twelfth International Conference on Reversible Computation, Springer Verlag, Pages:255-263, ISSN:0302-9743
Lanese I, Phillips I, 2021, Forward-reverse observational equivalences in CCSK, 13th International Conference on Reversible Computation 2021, Springer Verlag, Pages:126-143, ISSN:0302-9743