| On asynchronous eventful session semantics. | 2 | 0.36 | 2016 |
| Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python | 19 | 0.74 | 2015 |
| Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus. | 1 | 0.36 | 2014 |
| Structuring Communication With Session Types | 6 | 0.45 | 2014 |
| Monitoring Networks through Multiparty Session Types. | 17 | 0.64 | 2013 |
| Nested protocols in session types | 19 | 0.80 | 2012 |
| Specifying stateful asynchronous properties for distributed programs | 9 | 0.53 | 2012 |
| Verification of MPI programs using session types | 13 | 0.60 | 2012 |
| Structured Communication-Centered Programming for Web Services | 155 | 5.41 | 2012 |
| Session types and distributed computing | 3 | 0.37 | 2012 |
| Multiparty session c: safe parallel programming with message optimisation | 32 | 1.12 | 2012 |
| Intensional and extensional characterisation of global progress in the π-calculus | 2 | 0.38 | 2012 |
| Asynchronous distributed monitoring for multiparty session enforcement | 19 | 0.69 | 2011 |
| Full abstraction in a subtyped pi-calculus with linear types | 30 | 1.24 | 2011 |
| Scribbling interactions with a formal foundation | 39 | 1.38 | 2011 |
| A unified theory of program logics: an approach based on the π-calculus | 0 | 0.34 | 2011 |
| Understanding distributed services through the π-calculus | 0 | 0.34 | 2011 |
| On asynchronous session semantics | 11 | 0.59 | 2011 |
| Type-safe eventful sessions in java | 32 | 1.12 | 2010 |
| Multiparty Symmetric Sum Types | 6 | 0.46 | 2010 |
| An exact correspondence between a typed pi-calculus and polarised proof-nets | 20 | 0.97 | 2010 |
| A theory of design-by-contract for distributed multiparty interactions | 65 | 2.19 | 2010 |
| Global Principal Typing in Partially Commutative Asynchronous Sessions | 50 | 1.66 | 2009 |
| Asynchronous Session Types: Exceptions and Multiparty Interactions | 6 | 0.43 | 2009 |
| Type-Directed Compilation for Multicore Programming | 3 | 0.38 | 2009 |
| Session-Based Compilation Framework for Multicore Programming | 6 | 0.48 | 2008 |
| Theoretical Aspects of Communication-Centred Programming | 10 | 0.61 | 2008 |
| A Unified Theory of Program Logics: An Approach based on the n-Calculus | 0 | 0.34 | 2008 |
| Session-Based Distributed Programming in Java | 71 | 2.53 | 2008 |
| Structured Interactional Exceptions in Session Types | 40 | 1.47 | 2008 |
| Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes | 12 | 0.64 | 2008 |
