Modelling SIGNAL in Interaction Categories. - Simon J. Gay; Rajagopal Nagarajan (Theory and Formal Methods, 1993)

A Sort Inference Algorithm for the Polyadic Pi-Calculus. - Simon J. Gay (POPL, 1993)

An Internal Language for Interaction Categories. - Roy L. Crole; Simon J. Gay; Rajagopal Nagarajan (Theory and Formal Methods, 1994)

Combinators for Interaction Nets. - Simon J. Gay (Theory and Formal Methods, 1994)

Specification Structures and Propositions-as-Types for Concurrency. - Samson Abramsky; Simon J. Gay; Rajagopal Nagarajan (Banff Higher Order Workshop, 1995)

A Typed Calculus of Synchronous Processes - Simon J. Gay; Rajagopal Nagarajan (LICS, 1995)

Interaction categories and the foundations of typed concurrent programming. - Samson Abramsky; Simon J. Gay; Rajagopal Nagarajan (NATO ASI DPD, 1996)

A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems. - Samson Abramsky; Simon J. Gay; Rajagopal Nagarajan (TACS, 1997)

Types and Subtypes for Client-Server Interactions. - Simon J. Gay; Malcolm Hole (ESOP, 1999)

A Specification Structure for Deadlock-Freedom of Synchronous Processes. - Samson Abramsky; Simon J. Gay; Rajagopal Nagarajan (Theor. Comput. Sci., 1999)

A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL. - Simon J. Gay (TPHOLs, 2001)

Intensional and Extensional Semantics of Dataflow Programs. - Simon J. Gay; Rajagopal Nagarajan (Formal Aspects Comput., 2003)

Session Types for Functional Multithreading. - Vasco Thudichum Vasconcelos; António Ravara; Simon J. Gay (CONCUR, 2004)

Communicating quantum processes. - Simon J. Gay; Rajagopal Nagarajan (POPL, 2005)

Etch: An Enhanced Type Checking Tool for Promela. - Alastair F. Donaldson; Simon J. Gay (SPIN, 2005)

Subtyping for session types in the pi calculus. - Simon J. Gay; Malcolm Hole (Acta Informatica, 2005)

An Automated Analysis of the Security of Quantum Key Distribution - Rajagopal Nagarajan; Nikolaos Papanikolaou 001; Garry Bowen; Simon J. Gay (CoRR, 2005)

Probabilistic Model-Checking of Quantum Protocols - Simon J. Gay; Rajagopal Nagarajan; Nikolaos Papanikolaou 001 (CoRR, 2005)

Quantum programming languages: survey and bibliography. - Simon J. Gay (Math. Struct. Comput. Sci., 2006)

Types and typechecking for Communicating Quantum Processes. - Simon J. Gay; Rajagopal Nagarajan (Math. Struct. Comput. Sci., 2006)

Type checking a multithreaded functional language with session types. - Vasco Thudichum Vasconcelos; Simon J. Gay; António Ravara (Theor. Comput. Sci., 2006)

QMC: A Model Checker for Quantum Systems. - Simon J. Gay; Rajagopal Nagarajan; Nikolaos Papanikolaou 001 (CAV, 2008)

Bounded polymorphism in session types. - Simon J. Gay (Math. Struct. Comput. Sci., 2008)

Modular session types for distributed object-oriented programming. - Simon J. Gay; Vasco Thudichum Vasconcelos; António Ravara; Nils Gesbert; Alexandre Z. Caldeira (POPL, 2010)

Linear type theory for asynchronous session types. - Simon J. Gay; Vasco Thudichum Vasconcelos (J. Funct. Program., 2010)

Type inference and strong static type checking for Promela. - Alastair F. Donaldson; Simon J. Gay (Sci. Comput. Program., 2010)

Formal Analysis of Quantum Systems using Process Calculus - Timothy A. S. Davidson; Simon J. Gay; Rajagopal Nagarajan (ICE, 2011)

Stabilizer States as a Basis for Density Matrices - Simon J. Gay (CoRR, 2011)

Analysis of a Quantum Error Correcting Code using Quantum Process Calculus - Timothy A. S. Davidson; Simon J. Gay; Rajagopal Nagarajan; Ittoop Vergheese Puthoor (QPL, 2011)

Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols - Simon J. Gay; Ittoop Vergheese Puthoor (QPL, 2012)

Model Checking for Communicating Quantum Processes. - Timothy A. S. Davidson; Simon J. Gay; Hynek Mlnarik; Rajagopal Nagarajan; Nick Papanikolaou 001 (Int. J. Unconv. Comput., 2012)

Techniques for Formal Modelling and Analysis of Quantum Systems. - Simon J. Gay; Rajagopal Nagarajan (Computation, Logic, Games, and Quantum Foundations, 2013)

Quantum Process Calculus for Linear Optical Quantum Computing. - Sonja Franke-Arnold; Simon J. Gay; Ittoop Vergheese Puthoor (RC, 2013)

Equivalence Checking of Quantum Protocols. - Ebrahim Ardeshir-Larijani; Simon J. Gay; Rajagopal Nagarajan (TACAS, 2013)

Automated Verification of Quantum Protocols by Equivalence Checking. - Ebrahim Ardeshir-Larijani; Simon J. Gay; Rajagopal Nagarajan (CoRR, 2013)

Verification of Concurrent Quantum Protocols by Equivalence Checking. - Ebrahim Ardeshir-Larijani; Simon J. Gay; Rajagopal Nagarajan (TACAS, 2014)

On Duality Relations for Session Types. - Giovanni Bernardi 001; Ornela Dardha; Simon J. Gay; Dimitrios Kouzapas (TGC, 2014)

Verification of Linear Optical Quantum Computing using Quantum Process Calculus. - Sonja Franke-Arnold; Simon J. Gay; Ittoop Vergheese Puthoor (EXPRESS/SOS, 2014)

Session Types as Generic Process Types. - Simon J. Gay; Nils Gesbert; António Ravara (EXPRESS/SOS, 2014)

Session Types for Broadcasting. - Dimitrios Kouzapas; Ramunas Gutkovas; Simon J. Gay (PLACES, 2014)

A Routing Calculus with Flooding Updates. - Manish Gaur; Simon J. Gay; Ian Mackie (ICDCIT, 2015)

Equational Reasoning About Quantum Protocols. - Simon J. Gay; Ittoop Vergheese Puthoor (RC, 2015)

Modular Session Types for Objects - Simon J. Gay; Nils Gesbert; António Ravara; Vasco Thudichum Vasconcelos (Log. Methods Comput. Sci., 2015)

Subtyping Supports Safe Session Substitution. - Simon J. Gay (A List of Successes That Can Change the World, 2016)

Benefits of session types for software development. - A. Laura Voinea; Simon J. Gay (PLATEAU@SPLASH, 2016)

Typechecking protocols with Mungo and StMungo. - Dimitrios Kouzapas; Ornela Dardha; Roly Perera; Simon J. Gay (PPDP, 2016)

Behavioural Prototypes. - Roly Perera; Simon J. Gay (CoRR, 2016)

Liveness for Verification. - Roly Perera; Simon J. Gay (CoRR, 2016)

Multiparty Compatibility for Concurrent Objects. - Roly Perera; Julien Lange; Simon J. Gay (PLACES, 2016)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

Preface to special issue: behavioural types. - Simon J. Gay; António Ravara (Math. Struct. Comput. Sci., 2016)

Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). - Simon J. Gay; Vasco T. Vasconcelos; Philip Wadler; Nobuko Yoshida (Dagstuhl Reports, 2017)

A New Linear Logic for Deadlock-Free Session-Typed Processes. - Ornela Dardha; Simon J. Gay (FoSSaCS, 2018)

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java. - Dimitrios Kouzapas; Ornela Dardha; Roly Perera; Simon J. Gay (Sci. Comput. Program., 2018)

Automated Equivalence Checking of Concurrent Quantum Systems. - Ebrahim Ardeshir-Larijani; Simon J. Gay; Rajagopal Nagarajan (ACM Trans. Comput. Log., 2018)

Resource Sharing via Capability-Based Multiparty Session Types. - A. Laura Voinea; Ornela Dardha; Simon J. Gay (IFM, 2019)

Cables, Trains and Types. - Simon J. Gay (From Lambda Calculus to Cybersecurity Through Program Analysis, 2020)

Typechecking Java Protocols with [St]Mungo. - A. Laura Voinea; Ornela Dardha; Simon J. Gay (FORTE, 2020)

Duality of Session Types: The Final Cut. - Simon J. Gay; Peter Thiemann 001; Vasco T. Vasconcelos (PLACES@ETAPS, 2020)

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. - Paul Harvey 002; Simon Fowler 001; Ornela Dardha; Simon J. Gay (ECOOP, 2021)

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version). - Paul Harvey 002; Simon Fowler 001; Ornela Dardha; Simon J. Gay (CoRR, 2021)

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact). - Paul Harvey 002; Simon Fowler 001; Ornela Dardha; Simon J. Gay (Dagstuhl Artifacts Ser., 2021)

The Different Shades of Infinite Session Types. - Simon J. Gay; Diogo Poças; Vasco T. Vasconcelos (FoSSaCS, 2022)

Special Delivery: Programming with Mailbox Types (Extended Version). - Simon Fowler 001; Duncan Paul Attard; Franciszek Sowul; Simon J. Gay; Phil Trinder (CoRR, 2023)

Special Delivery: Programming with Mailbox Types. - Simon Fowler 001; Duncan Paul Attard; Franciszek Sowul; Simon J. Gay; Phil Trinder (Proc. ACM Program. Lang., 2023)

A Session Type System for Asynchronous Unreliable Broadcast Communication. - Dimitrios Kouzapas; Ramunas Gutkovas; A. Laura Voinea; Simon J. Gay (Log. Methods Comput. Sci., 2024)

The Duality of λ-Abstraction. - Vikraman Choudhury; Simon J. Gay (Proc. ACM Program. Lang., 2025)