Simon J. Gay

Available identifiers

zbMath Open gay.simon-jMaRDI QIDQ859840

List of research outcomes

Publication	Date of Publication	Type
A session type system for asynchronous unreliable broadcast communication	2024-09-04	Paper
Specification structures and propositions-as-types for concurrency	2024-06-21	Paper
Resource sharing via capability-based multiparty session types	2024-04-19	Paper
The different shades of infinite session types	2024-01-23	Paper
Session types as generic process types	2021-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4995158	2021-06-23	Paper
Application of quantum process calculus to higher dimensional quantum protocols	2021-06-23	Paper
Analysis of a quantum error correcting code using quantum process calculus	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
Specification and verification of quantum protocols	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

This page was built for person: Simon J. Gay