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

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

Medic D, Mezzina CA, Phillips I, et al., 2020, A parametric framework for reversible pi-calculi, Information and Computation, Vol:275, ISSN:0890-5401

Conference

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