Simon J. Gay

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
The different shades of infinite session types	2024-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4995142	2021-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4995157	2021-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4995158	2021-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4986182	2021-04-27	Paper
Automated Equivalence Checking of Concurrent Quantum Systems	2019-02-07	Paper
A new linear logic for deadlock-free session-typed processes	2018-07-17	Paper
Communicating quantum processes	2017-07-14	Paper
Equational Reasoning About Quantum Protocols	2016-09-30	Paper
Subtyping Supports Safe Session Substitution	2016-08-17	Paper
On Duality Relations for Session Types	2016-06-09	Paper
Modular session types for objects	2016-01-07	Paper
Modular session types for distributed object-oriented programming	2015-06-11	Paper
Quantum Process Calculus for Linear Optical Quantum Computing	2013-12-17	Paper
Equivalence Checking of Quantum Protocols	2013-08-05	Paper
Techniques for Formal Modelling and Analysis of Quantum Systems	2013-05-28	Paper
Type inference and strong static type checking for Promela	2010-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q3560846	2010-05-14	Paper
Linear type theory for asynchronous session types	2010-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q3396562	2009-09-19	Paper
Bounded polymorphism in session types	2008-11-13	Paper
Type checking a multithreaded functional language with session types	2007-01-22	Paper
Quantum programming languages: survey and bibliography	2006-08-28	Paper
Types and typechecking for Communicating Quantum Processes	2006-08-28	Paper
Subtyping for session types in the pi calculus	2005-12-14	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
Intensional and extensional semantics of dataflow programs	2005-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4790662	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4885871	2000-04-26	Paper
A specification structure for deadlock-freedom of synchronous processes	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4364392	1997-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q4870808	1996-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4870807	1996-03-26	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Simon J. Gay