Subtyping for session types in the pi calculus S Gay, M Hole Acta Informatica 42 (2), 191-225, 2005 | 484 | 2005 |
Semantic techniques in quantum computation S Gay, I Mackie Cambridge University Press, 2010 | 401* | 2010 |
Quantum programming languages: Survey and bibliography SJ Gay Mathematical Structures in Computer Science 16 (04), 581-600, 2006 | 253 | 2006 |
Linear type theory for asynchronous session types SJ Gay, VT Vasconcelos Journal of Functional Programming 20 (1), 19-50, 2010 | 238 | 2010 |
Behavioural Types: from Theory to Tools S Gay, A Ravara CRC Press, 2017 | 190* | 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 | 186 | 2016 |
Interaction Categories and the Foundations of Typed Concurrent Programming S Abramsky, S Gay, R Nagarajan Deductive Program Design 152, 35, 1996 | 182 | 1996 |
Communicating quantum processes SJ Gay, R Nagarajan Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2005 | 171 | 2005 |
Types and subtypes for client-server interactions S Gay, M Hole Programming Languages and Systems: 8th European Symposium on Programming …, 1999 | 164 | 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 | 88 | 2003 |
Bounded polymorphism in session types SJ Gay Mathematical Structures in Computer Science 18 (05), 895-930, 2008 | 79 | 2008 |
Session types for functional multithreading V Vasconcelos, A Ravara, S Gay CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004 | 68 | 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 | 53 | 2018 |
Types and typechecking for communicating quantum processes SJ Gay, R Nagarajan Mathematical Structures in Computer Science 16 (3), 375-406, 2006 | 52 | 2006 |
Specification structures and propositions-as-types for concurrency S Abramsky, S Gay, R Nagarajan Logics for Concurrency: Structure versus Automata, 5-40, 1996 | 51 | 1996 |
Typechecking protocols with Mungo and StMungo D Kouzapas, O Dardha, R Perera, SJ Gay 18th International Symposium on Principles and Practice of Declarative …, 2016 | 50 | 2016 |
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java D Kouzapas, O Dardha, R Perera, SJ Gay Science of Computer Programming 155, 52-75, 2018 | 47 | 2018 |
On duality relations for session types G Bernardi, O Dardha, SJ Gay, D Kouzapas Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014 | 46 | 2014 |
Duality of session types: The final cut SJ Gay, P Thiemann, VT Vasconcelos arXiv preprint arXiv:2004.01322, 2020 | 41 | 2020 |
Subtyping supports safe session substitution SJ Gay A List of Successes That Can Change the World: Essays Dedicated to Philip …, 2016 | 39 | 2016 |
Equivalence checking of quantum protocols E Ardeshir-Larijani, SJ Gay, R Nagarajan Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 39 | 2013 |
Verification of concurrent quantum protocols by equivalence checking E Ardeshir-Larijani, SJ Gay, R Nagarajan Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 37 | 2014 |
Multiparty session types for safe runtime adaptation in an actor language P Harvey, S Fowler, O Dardha, SJ Gay 35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021 | 32 | 2021 |
An automated analysis of the security of quantum key distribution R Nagarajan, N Papanikolaou, G Bowen, S Gay arXiv preprint cs/0502048, 2005 | 31 | 2005 |
Modular session types for objects VT Vasconcelos, A Ravara, N Gesbert, SJ Gay Logical Methods in Computer Science 11, 2015 | 27* | 2015 |
Formal verification of quantum protocols R Nagarajan, S Gay arXiv preprint quant-ph/0203086, 2002 | 27 | 2002 |
Model Checking for Communicating Quantum Processes. TAS Davidson, SJ Gay, H Mlnarik, R Nagarajan, N Papanikolaou Int. J. Unconv. Comput. 8 (1), 73-98, 2012 | 26 | 2012 |
Linear Types for Communicating Processes SJ Gay University of London 1995., 1995 | 25 | 1995 |
Asynchronous functional session types S Gay, VT Vasconcelos Technical Report, University of Glasgow, 2007 | 24 | 2007 |
Session types for broadcasting D Kouzapas, R Gutkovas, SJ Gay arXiv preprint arXiv:1406.3481, 2014 | 22 | 2014 |
A typed calculus of synchronous processes S Gay, R Nagarajan Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 210-220, 1995 | 22 | 1995 |
Session types as generic process types SJ Gay, N Gesbert, A Ravara arXiv preprint arXiv:1408.1459, 2014 | 20 | 2014 |
Dynamic interfaces VT Vasconcelos, SJ Gay, A Ravara, N Gesbert, AZ Caldeira International Workshop on Foundations of Object-Oriented Languages (FOOL’09), 2009 | 20* | 2009 |
Types for correct communication in client-server systems S Gay, M Hole Department of Computer Science, Royal Holloway, University of London, 2000 | 20 | 2000 |
A framework for the formalisation of pi calculus type systems in Isabelle/HOL SJ Gay International Conference on Theorem Proving in Higher Order Logics, 217-232, 2001 | 18 | 2001 |
A type-theoretic approach to deadlock-freedom of asynchronous systems S Abramsky, S Gay, R Nagarajan Theoretical Aspects of Computer Software: Third International Symposium …, 1997 | 18 | 1997 |
Combinators for Interaction Nets. SJ Gay Theory and Formal Methods, 63-84, 1994 | 18 | 1994 |
Analysis of a quantum error correcting code using quantum process calculus TAS Davidson, SJ Gay, R Nagarajan, IV Puthoor arXiv preprint arXiv:1210.0614, 2012 | 16 | 2012 |
Typechecking java protocols with [st] mungo AL Voinea, O Dardha, SJ Gay International Conference on Formal Techniques for Distributed Objects …, 2020 | 15 | 2020 |
A specification structure for deadlock-freedom of synchronous processes S Abramsky, SJ Gay, R Nagarajan Theoretical Computer Science 222 (1-2), 1-53, 1999 | 13 | 1999 |
A program logic for Gamma SJ Gay, CL Hankin Coordination programming: mechanisms, models and semantics, 171-194, 1996 | 13 | 1996 |
Etch: An Enhanced Type Checking Tool for Promela A Donaldson, S Gay Model Checking Software, 902-902, 2005 | 12 | 2005 |
Mungo and StMungo: tools for typechecking protocols in Java O Dardha, SJ Gay, D Kouzapas, R Perera, AL Voinea, F Weber River Publishers, 2017 | 10 | 2017 |
Quantum process calculus for linear optical quantum computing S Franke-Arnold, SJ Gay, IV Puthoor Reversible Computation: 5th International Conference, RC 2013, Victoria, BC …, 2013 | 10 | 2013 |
Bounded polymorphism in session types M Hole, S Gay Technical Report TR-2003-132, Department of Computing Science, University of …, 2003 | 10 | 2003 |
Types and subtypes for correct communication in client-server systems SJ Gay, M Hole Department of Computing Science, University of Glasgow, 2003 | 10 | 2003 |
The different shades of infinite session types SJ Gay, D Poças, VT Vasconcelos International Conference on Foundations of Software Science and Computation …, 2022 | 9 | 2022 |
Automated equivalence checking of concurrent quantum systems E Ardeshir-Larijani, SJ Gay, R Nagarajan ACM Transactions on Computational Logic (TOCL) 19 (4), 1-32, 2018 | 9 | 2018 |
Resource sharing via capability-based multiparty session types AL Voinea, O Dardha, SJ Gay International Conference on Integrated Formal Methods, 437-455, 2019 | 8 | 2019 |
Multiparty compatibility for concurrent objects R Perera, J Lange, SJ Gay arXiv preprint arXiv:1606.05943, 2016 | 8 | 2016 |
Stabilizer states as a basis for density matrices SJ Gay arXiv preprint arXiv:1112.2156, 2011 | 8 | 2011 |
Modelling SIGNAL in interaction categories SJ Gay, R Nagarajan Theory and Formal Methods, 148-158, 1993 | 7 | 1993 |
Theory and applications of behavioural types (Dagstuhl Seminar 17051) S Gay, VT Vasconcelos, P Wadler, N Yoshida Dagstuhl Reports 7 (1), 2017 | 6 | 2017 |
Intensional and extensional semantics of dataflow programs S Gay, R Nagarajan Formal aspects of computing 15, 299-318, 2003 | 6 | 2003 |
Gamma and the logic of transition traces SJ Gay, CL Hankin ADVANCES IN THEORY, 49, 1996 | 6 | 1996 |
An internal language for interaction categories R Crole, S Gay, R Nagarajan Theory and Formal Methods, 1994 | 6 | 1994 |
Interaction Nets SJ Gay University of Cambridge Computer Laboratory, 1991 | 5 | 1991 |
Special delivery: Programming with mailbox types S Fowler, DP Attard, F Sowul, SJ Gay, P Trinder Proceedings of the ACM on Programming Languages 7 (ICFP), 78-107, 2023 | 4 | 2023 |
Verification of linear optical quantum computing using quantum process calculus S Franke-Arnold, SJ Gay, IV Puthoor arXiv preprint arXiv:1408.1460, 2014 | 4 | 2014 |
Application of quantum process calculus to higher dimensional quantum protocols SJ Gay, IV Puthoor arXiv preprint arXiv:1303.2896, 2013 | 4 | 2013 |
Model-checking quantum protocols SJ Gay, R Nagarajan, N Papanikolaou August, 2008 | 4 | 2008 |
Subtyping between standard and linear function types SJ Gay Technical Report 2006-305. Glasgow, Scotland: Department of Computing …, 2006 | 4 | 2006 |
Bounded polymorphism in session types SJ Gay, M Hole Department of Computing Science, University of Glasgow, 2003 | 4 | 2003 |
A session type system for asynchronous unreliable broadcast communication D Kouzapas, RF Gutkovas, AL Voinea, SJ Gay arXiv preprint arXiv:1902.01353, 2019 | 3 | 2019 |
Techniques for Formal Modelling and Analysis of Quantum Systems SJ Gay, R Nagarajan Computation, Logic, Games, and Quantum Foundations. The Many Facets of …, 2013 | 3 | 2013 |
Hanoi: A typestate dsl for java I McGinniss, S Gay Technical Report TR-2011-326, University of Glasgow, 2011. Cited on, 2011 | 3 | 2011 |
Special Delivery: Programming with Mailbox Types (Extended Version) S Fowler, DP Attard, F Sowul, SJ Gay, P Trinder arXiv preprint arXiv:2306.12935, 2023 | 2 | 2023 |
Benefits of session types for software development AL Voinea, SJ Gay Proceedings of the 7th International Workshop on Evaluation and Usability of …, 2016 | 2 | 2016 |
Automated verification of quantum protocols by equivalence checking E Ardeshir-Larijani, SJ Gay, R Nagarajan arXiv preprint arXiv:1312.5951, 2013 | 2 | 2013 |
Formal analysis of quantum systems using process calculus TAS Davidson, SJ Gay, R Nagarajan arXiv preprint arXiv:1108.0469, 2011 | 2 | 2011 |
Formal verification of quantum protocols S Gay | 2 | 2002 |
Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods: Isle of Thorns Conference Centre … G Burn, S Gay, M Ryan Springer-Verlag, 1993 | 2* | 1993 |
Artifact for" Special Delivery: Programming with Mailbox Types" S Fowler, DP Attard, F Sowul, S Gay, P Trinder | 1 | 2023 |
Cables, Trains and Types SJ Gay From Lambda Calculus to Cybersecurity through Program Analysis 12065, 2020 | 1 | 2020 |
Liveness for Verification R Perera, SJ Gay arXiv preprint arXiv:1609.04233, 2016 | 1 | 2016 |
A session type system for unreliable broadcast communication R Gutkovas, D Kouzapas, SJ Gay | 1 | 2016 |
Equational reasoning about quantum protocols SJ Gay, IV Puthoor Reversible Computation: 7th International Conference, RC 2015, Grenoble …, 2015 | 1 | 2015 |
Type inference and strong static type checking for Promela AF Donaldson, SJ Gay Science of Computer Programming 75 (11), 1165-1191, 2010 | 1 | 2010 |
On commutativity, total orders, and sorting W Wong, V Choudhury, SJ Gay | | 2024 |
Special Delivery S FOWLER, DP ATTARD, F SOWUL, SJ GAY, P TRINDER | | 2023 |
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version) P Harvey, S Fowler, O Dardha, SJ Gay arXiv preprint arXiv:2105.06973, 2021 | | 2021 |
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact). P Harvey, S Fowler, O Dardha, SJ Gay Dagstuhl Artifacts Ser. 7 (2), 08:1-08:2, 2021 | | 2021 |
ABCD Report: 2017 S Gay, P Wadler, N Yoshida | | 2017 |
Behavioural Prototypes R Perera, SJ Gay arXiv preprint arXiv:1609.01985, 2016 | | 2016 |
Preface to special issue: behavioural types SJ Gay, A Ravara Mathematical Structures in Computer Science 26 (3), 365-366, 2016 | | 2016 |
Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency-and Communication-cEntric Software S Gay, J Alglave arXiv preprint arXiv:1602.03254, 2016 | | 2016 |
Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface GW Hamilton, A Lisitsa, AP Nemytykh Electronic Proceedings in Theoretical Computer Science, EPTCS, 2016 | | 2016 |
Behavioural Types Part 1 [Guest Editors] SJ Gay, A Ravara Mathematical Structures in Computer Science 26 (2), 2016 | | 2016 |
Modular session types for objects VT Vasconcelos, A Ravara, N Gesbert, SJ Gay Logical Methods in Computer Science 11, 2015 | | 2015 |
A Routing Calculus with Flooding Updates M Gaur, SJ Gay, I Mackie Distributed Computing and Internet Technology: 11th International Conference …, 2015 | | 2015 |
Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-and Communication-cEntric Software S Gay, P Kelly arXiv preprint arXiv:1302.5798, 2013 | | 2013 |
Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software AR Beresford, S Gay arXiv preprint arXiv:1002.1408, 2010 | | 2010 |
Process Calculus Modelling of Quantum Protocols S Gay | | 2007 |
An Automated Analysis of Quantum Key Distribution R Nagarajan, N Papanikolaou, S Gay | | |
Multiparty Session Types for Safe Runtime P Harvey, S Fowler, O Dardha, SJ Gay | | |