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 | 56 | 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 | 20 | 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 |