Imperial College London

DrIainPhillips

Faculty of EngineeringDepartment of Computing

Senior Lecturer - Computing
 
 
 
//

Contact

 

+44 (0)20 7594 8265i.phillips Website

 
 
//

Location

 

427Huxley BuildingSouth Kensington Campus

//

Summary

 

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

More Publications