"Affine Sessions", Coordination Models and Languages, 2014.
"Multiparty Sessions based on Proof Nets", Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), 2014.
"Linearly refined session types", arXiv preprint arXiv:1211.4099, 2012.
Proof Nets as Processes, , 2012.
Proof Nets in Process Algebraic Form, , 2012.
"Session typing for a featherweight Erlang", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 95–109, 2011.
Session Types in Concurrent Calculi: Higher-Order Processes and Objects, : Imperial College London (University of London), 2010.