Behavioral Types in Programming Languages. | 16 | 0.72 | 2016 |
Foundations of Session Types and Behavioural Contracts. | 10 | 0.57 | 2016 |
Combining behavioural types with security analysis. | 5 | 0.46 | 2015 |
Structuring Communication With Session Types | 6 | 0.45 | 2014 |
Multiparty compatibility in communicating automata: characterisation and synthesis of global session types | 38 | 1.09 | 2013 |
Parameterised Multiparty Session Types | 6 | 0.51 | 2012 |
Parameterised Multiparty Session Types | 0 | 0.34 | 2012 |
Multiparty session types meet communicating automata | 64 | 2.01 | 2012 |
Asynchronous distributed monitoring for multiparty session enforcement | 19 | 0.69 | 2011 |
Secure Execution Of Distributed Session Programs | 2 | 0.35 | 2010 |
Buffered communication analysis in distributed multiparty sessions | 18 | 0.93 | 2010 |
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions | 46 | 1.50 | 2009 |
Secure Implementations for Typed Session Abstractions | 29 | 1.55 | 2007 |
A protocol compiler for secure sessions in ML | 5 | 0.46 | 2007 |
Abstraction preservation and subtyping in distributed languages | 6 | 0.48 | 2006 |