| Subtyping for session types in the pi calculus S Gay, M Hole Acta Informatica 42 (2), 191-225, 2005 | 493 | 2005 |
| Semantic techniques in quantum computation S Gay, I Mackie Cambridge University Press, 2010 | 405* | 2010 |
| Quantum programming languages: Survey and bibliography SJ Gay Mathematical Structures in Computer Science 16 (04), 581-600, 2006 | 257 | 2006 |
| Linear type theory for asynchronous session types SJ Gay, VT Vasconcelos Journal of Functional Programming 20 (1), 19-50, 2010 | 240 | 2010 |
| Behavioural Types: from Theory to Tools S Gay, A Ravara CRC Press, 2017 | 198* | 2017 |
| Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016 | 188 | 2016 |
| Interaction Categories and the Foundations of Typed Concurrent Programming S Abramsky, S Gay, R Nagarajan Deductive Program Design 152, 35, 1996 | 183 | 1996 |
| Communicating quantum processes SJ Gay, R Nagarajan Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2005 | 173 | 2005 |
| Types and subtypes for client-server interactions S Gay, M Hole Programming Languages and Systems: 8th European Symposium on Programming …, 1999 | 167 | 1999 |
| Type checking a multithreaded functional language with session types VT Vasconcelos, SJ Gay, A Ravara Theoretical Computer Science 368 (1-2), 64-87, 2006 | 129 | 2006 |
| Modular session types for distributed object-oriented programming SJ Gay, VT Vasconcelos, A Ravara, N Gesbert, AZ Caldeira ACM Sigplan Notices 45 (1), 299-312, 2010 | 123 | 2010 |
| A sort inference algorithm for the polyadic pi-calculus SJ Gay Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 107 | 1993 |
| QMC: A Model Checker for Quantum Systems: Tool Paper SJ Gay, R Nagarajan, N Papanikolaou Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 102 | 2008 |
| Session types for inter-process communication S Gay, V Vasconcelos, A Ravara Technical Report TR-2003-133, Department of Computing Science, University of …, 2003 | 89 | 2003 |
| Bounded polymorphism in session types SJ Gay Mathematical Structures in Computer Science 18 (05), 895-930, 2008 | 80 | 2008 |
| Session types for functional multithreading V Vasconcelos, A Ravara, S Gay CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004 | 69 | 2004 |
| Probabilistic Model--Checking of Quantum Protocols S Gay, R Nagarajan, N Papanikolaou arXiv preprint quant-ph/0504007, 2005 | 59 | 2005 |
| A new linear logic for deadlock-free session-typed processes O Dardha, SJ Gay Foundations of Software Science and Computation Structures: 21st …, 2018 | 56 | 2018 |
| Typechecking protocols with Mungo and StMungo D Kouzapas, O Dardha, R Perera, SJ Gay 18th International Symposium on Principles and Practice of Declarative …, 2016 | 53 | 2016 |
| Types and typechecking for communicating quantum processes SJ Gay, R Nagarajan Mathematical Structures in Computer Science 16 (3), 375-406, 2006 | 52 | 2006 |
Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex University在 mdx.ac.uk 的电子邮件经过验证
