Publications
Journals
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
Graversen E, Phillips I, Yoshida N, 2021, Event structure semantics of (controlled) reversible CCS, Journal of Logical and Algebraic Methods in Programming, Vol:121, ISSN:2352-2208
Conference
Glück R, Lanese I, Mezzina CA, et al., Towards a taxonomy for reversible computation approaches, 15th International Conference on Reversible Computation (RC), Springer
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