1. Separation and Encodability in Mixed Choice Multiparty Sessions;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Using Pi-Calculus Names as Locks;Electronic Proceedings in Theoretical Computer Science;2023-09-14
3. Proofs about Network Communication: For Humans and Machines;Electronic Proceedings in Theoretical Computer Science;2023-08-21
4. Relating Message Passing and Shared Memory, Proof-Theoretically;Lecture Notes in Computer Science;2023
5. Correctness of Broadcast via Multicast: Graphically and Formally;Electronic Proceedings in Theoretical Computer Science;2022-09-19