# Simon J. Gay

According to our database

^{1}, Simon J. Gay## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java.

Sci. Comput. Program., 2018

A New Linear Logic for Deadlock-Free Session-Typed Processes.

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051).

Dagstuhl Reports, 2017

2016

Preface to special issue: behavioural types.

Mathematical Structures in Computer Science, 2016

Preface to special issue: behavioural types.

Mathematical Structures in Computer Science, 2016

Behavioral Types in Programming Languages.

Foundations and Trends in Programming Languages, 2016

Multiparty Compatibility for Concurrent Objects.

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

Liveness for Verification.

CoRR, 2016

Behavioural Prototypes.

CoRR, 2016

Typechecking protocols with Mungo and StMungo.

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Benefits of session types for software development.

Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools, 2016

Subtyping Supports Safe Session Substitution.

Proceedings of the A List of Successes That Can Change the World, 2016

2015

Modular Session Types for Objects

Logical Methods in Computer Science, 2015

Equational Reasoning About Quantum Protocols.

Proceedings of the Reversible Computation - 7th International Conference, 2015

A Routing Calculus with Flooding Updates.

Proceedings of the Distributed Computing and Internet Technology, 2015

2014

Session Types for Broadcasting.

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Session Types as Generic Process Types.

Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, 2014

Verification of Linear Optical Quantum Computing using Quantum Process Calculus.

Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, 2014

On Duality Relations for Session Types.

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Verification of Concurrent Quantum Protocols by Equivalence Checking.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Automated Verification of Quantum Protocols by Equivalence Checking.

CoRR, 2013

Equivalence Checking of Quantum Protocols.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Quantum Process Calculus for Linear Optical Quantum Computing.

Proceedings of the Reversible Computation - 5th International Conference, 2013

Techniques for Formal Modelling and Analysis of Quantum Systems.

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Model Checking for Communicating Quantum Processes.

IJUC, 2012

Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols

Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012

2011

Analysis of a Quantum Error Correcting Code using Quantum Process Calculus

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

Stabilizer States as a Basis for Density Matrices

CoRR, 2011

Formal Analysis of Quantum Systems using Process Calculus

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

2010

Type inference and strong static type checking for Promela.

Sci. Comput. Program., 2010

Linear type theory for asynchronous session types.

J. Funct. Program., 2010

Modular session types for distributed object-oriented programming.

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2008

Bounded polymorphism in session types.

Mathematical Structures in Computer Science, 2008

QMC: A Model Checker for Quantum Systems.

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2006

Type checking a multithreaded functional language with session types.

Theor. Comput. Sci., 2006

Types and typechecking for Communicating Quantum Processes.

Mathematical Structures in Computer Science, 2006

Quantum programming languages: survey and bibliography.

Mathematical Structures in Computer Science, 2006

2005

Quantum Programming Languages: Survey and Bibliography.

Bulletin of the EATCS, 2005

Probabilistic Model-Checking of Quantum Protocols

CoRR, 2005

An Automated Analysis of the Security of Quantum Key Distribution

CoRR, 2005

Subtyping for session types in the pi calculus.

Acta Inf., 2005

Etch: An Enhanced Type Checking Tool for Promela.

Proceedings of the Model Checking Software, 2005

Communicating quantum processes.

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004

Session Types for Functional Multithreading.

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Intensional and Extensional Semantics of Dataflow Programs.

Formal Asp. Comput., 2003

2001

A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL.

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

1999

A Specification Structure for Deadlock-Freedom of Synchronous Processes.

Theor. Comput. Sci., 1999

Types and Subtypes for Client-Server Interactions.

Proceedings of the Programming Languages and Systems, 1999

1997

A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems.

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1996

Interaction categories and the foundations of typed concurrent programming.

Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

1995

A Typed Calculus of Synchronous Processes

Proceedings of the Proceedings, 1995

Specification Structures and Propositions-as-Types for Concurrency.

Proceedings of the Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27, 1995

1994

Combinators for Interaction Nets.

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

An Internal Language for Interaction Categories.

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993

A Sort Inference Algorithm for the Polyadic Pi-Calculus.

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Modelling SIGNAL in Interaction Categories.

Proceedings of the Theory and Formal Methods 1993, 1993