| Affine Sessions. | 0 | 0.34 | 2018 |
| Foundations of Session Types and Behavioural Contracts. | 10 | 0.57 | 2016 |
| Session typing and asynchronous subtyping for the higher-order π-calculus | 14 | 0.72 | 2015 |
| Multiparty Sessions Based On Proof Nets | 1 | 0.35 | 2014 |
| Linearly Refined Session Types | 4 | 0.42 | 2012 |
| Session typing for a featherweight Erlang | 14 | 0.69 | 2011 |
| Global Principal Typing in Partially Commutative Asynchronous Sessions | 50 | 1.66 | 2009 |
| Session-Based Communication Optimisation for Higher-Order Mobile Processes | 16 | 0.69 | 2009 |
| Two session typing systems for higher-order mobile processes | 21 | 0.91 | 2007 |
