Selected publications

Article

Jeffery, Alex and Berger, Martin (2020) Asynchronous sessions with implicit functions and messages. Science of Computer Programming. ISSN 0167-6423

Conference Proceedings

Jeffery, Alexander and Berger, Martin (2018) Asynchronous sessions with implicit functions and messages. 12th International Symposium on Theoretical Aspects of Software Engineering, Guangzhou, China, August 29-31 2018. Published in: 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE). Institute of Electrical and Electronics Engineers ISBN 9781538673058

Thesis

Jeffery, Alexander Paul (2020) On implicit program constructs. Doctoral thesis (PhD), University of Sussex.