| Foundations of session types and behavioural contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016 | 294 | 2016 |
| Session types for object-oriented languages M Dezani-Ciancaglini, D Mostrous, N Yoshida, S Drossopoulou ECOOP 2006–Object-Oriented Programming, 328-352, 2006 | 192 | 2006 |
| Global principal typing in partially commutative asynchronous sessions D Mostrous, N Yoshida, K Honda Programming Languages and Systems: 18th European Symposium on Programming …, 2009 | 148 | 2009 |
| Two session typing systems for higher-order mobile processes D Mostrous, N Yoshida International Conference on Typed Lambda Calculi and Applications, 321-335, 2007 | 59 | 2007 |
| Session typing for a featherweight Erlang D Mostrous, VT Vasconcelos International Conference on Coordination Languages and Models, 95-109, 2011 | 57 | 2011 |
| Session Typing and Asynchronous Subtyping for the Higher-Order pi-Calculus D Mostrous, N Yoshida Information and Computation 241 (0), 227 - 263, 2015 | 55 | 2015 |
| Session typing and asynchronous subtyping for the higher-order pi-calculus N Yoshida, D Mostrous Elsevier, 2015 | 55* | 2015 |
| Objects and session types M Dezani-Ciancaglini, S Drossopoulou, D Mostrous, N Yoshida Information and Computation 207 (5), 595-641, 2009 | 46 | 2009 |
| Affine Sessions D Mostrous, VT Vasconcelos Coordination Models and Languages, 2014 | 45* | 2014 |
| Session-based communication optimisation for higher-order mobile processes D Mostrous, N Yoshida International Conference on Typed Lambda Calculi and Applications, 203-218, 2009 | 40 | 2009 |
| Linearly refined session types P Baltazar, D Mostrous, VT Vasconcelos arXiv preprint arXiv:1211.4099, 2012 | 19 | 2012 |
| Session types in concurrent calculi: higher-order processes and objects D Mostrous Department of Computing, Imperial College London, 2010 | 16 | 2010 |
| Foundations of behavioural types H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... Report of the EU COST Action IC1201–Behavioural Types for Reliable Large …, 2014 | 15 | 2014 |
| Session Types for Object-Oriented Languages M Dezani, S Drossopoulou, D Mostrous, N Yoshida Information and Computation 207, 595-641, 2009 | 7 | 2009 |
| A session object calculus for structured communication-based programming D Mostrous, N Yoshida Submitted, 2008 | 7 | 2008 |
| Moose: a minimal object oriented language with session types D Mostrous Master's thesis, Imperial College, London, 2005 | 5 | 2005 |
| Multiparty Sessions based on Proof Nets D Mostrous Programming Language Approaches to Concurrency and Communication-cEntric …, 2014 | 3 | 2014 |
| Proof Nets in Process Algebraic Form D Mostrous | 1 | 2012 |
| Proof Nets as Processes D Mostrous | | 2012 |
| A Higher Order Client-Server Calculus with Sessions D Mostrous | | 2006 |
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
