1. On sequentiality and well-bracketing in the π-calculus;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
2. Prioritise the Best Variation;Formal Techniques for Distributed Objects, Components, and Systems;2021
3. Composing Communicating Systems, Synchronously;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
4. Choreography Automata;Lecture Notes in Computer Science;2020
5. Verifying message-passing programs with dependent behavioural types;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08