Follow
Simon J Gay
Simon J Gay
School of Computing Science, University of Glasgow
Verified email at dcs.gla.ac.uk - Homepage
Title
Cited by
Cited by
Year
Subtyping for session types in the pi calculus
S Gay, M Hole
Acta Informatica 42 (2), 191-225, 2005
4842005
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
2532006
Linear type theory for asynchronous session types
SJ Gay, VT Vasconcelos
Journal of Functional Programming 20 (1), 19-50, 2010
2382010
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
1862016
Interaction Categories and the Foundations of Typed Concurrent Programming
S Abramsky, S Gay, R Nagarajan
Deductive Program Design 152, 35, 1996
1821996
Communicating quantum processes
SJ Gay, R Nagarajan
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2005
1712005
Types and subtypes for client-server interactions
S Gay, M Hole
Programming Languages and Systems: 8th European Symposium on Programming …, 1999
1641999
Type checking a multithreaded functional language with session types
VT Vasconcelos, SJ Gay, A Ravara
Theoretical Computer Science 368 (1-2), 64-87, 2006
1292006
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
1232010
A sort inference algorithm for the polyadic pi-calculus
SJ Gay
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
1071993
QMC: A Model Checker for Quantum Systems: Tool Paper
SJ Gay, R Nagarajan, N Papanikolaou
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
1022008
Session types for inter-process communication
S Gay, V Vasconcelos, A Ravara
Technical Report TR-2003-133, Department of Computing Science, University of …, 2003
882003
Bounded polymorphism in session types
SJ Gay
Mathematical Structures in Computer Science 18 (05), 895-930, 2008
792008
Session types for functional multithreading
V Vasconcelos, A Ravara, S Gay
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
682004
Probabilistic Model--Checking of Quantum Protocols
S Gay, R Nagarajan, N Papanikolaou
arXiv preprint quant-ph/0504007, 2005
592005
A new linear logic for deadlock-free session-typed processes
O Dardha, SJ Gay
Foundations of Software Science and Computation Structures: 21st …, 2018
532018
Types and typechecking for communicating quantum processes
SJ Gay, R Nagarajan
Mathematical Structures in Computer Science 16 (3), 375-406, 2006
522006
Specification structures and propositions-as-types for concurrency
S Abramsky, S Gay, R Nagarajan
Logics for Concurrency: Structure versus Automata, 5-40, 1996
511996
Typechecking protocols with Mungo and StMungo
D Kouzapas, O Dardha, R Perera, SJ Gay
18th International Symposium on Principles and Practice of Declarative …, 2016
502016
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
472018
On duality relations for session types
G Bernardi, O Dardha, SJ Gay, D Kouzapas
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014
462014
Duality of session types: The final cut
SJ Gay, P Thiemann, VT Vasconcelos
arXiv preprint arXiv:2004.01322, 2020
412020
Subtyping supports safe session substitution
SJ Gay
A List of Successes That Can Change the World: Essays Dedicated to Philip …, 2016
392016
Equivalence checking of quantum protocols
E Ardeshir-Larijani, SJ Gay, R Nagarajan
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
392013
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
372014
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
322021
An automated analysis of the security of quantum key distribution
R Nagarajan, N Papanikolaou, G Bowen, S Gay
arXiv preprint cs/0502048, 2005
312005
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
272002
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
262012
Linear Types for Communicating Processes
SJ Gay
University of London 1995., 1995
251995
Asynchronous functional session types
S Gay, VT Vasconcelos
Technical Report, University of Glasgow, 2007
242007
Session types for broadcasting
D Kouzapas, R Gutkovas, SJ Gay
arXiv preprint arXiv:1406.3481, 2014
222014
A typed calculus of synchronous processes
S Gay, R Nagarajan
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 210-220, 1995
221995
Session types as generic process types
SJ Gay, N Gesbert, A Ravara
arXiv preprint arXiv:1408.1459, 2014
202014
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
202000
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
182001
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
181997
Combinators for Interaction Nets.
SJ Gay
Theory and Formal Methods, 63-84, 1994
181994
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
162012
Typechecking java protocols with [st] mungo
AL Voinea, O Dardha, SJ Gay
International Conference on Formal Techniques for Distributed Objects …, 2020
152020
A specification structure for deadlock-freedom of synchronous processes
S Abramsky, SJ Gay, R Nagarajan
Theoretical Computer Science 222 (1-2), 1-53, 1999
131999
A program logic for Gamma
SJ Gay, CL Hankin
Coordination programming: mechanisms, models and semantics, 171-194, 1996
131996
Etch: An Enhanced Type Checking Tool for Promela
A Donaldson, S Gay
Model Checking Software, 902-902, 2005
122005
Mungo and StMungo: tools for typechecking protocols in Java
O Dardha, SJ Gay, D Kouzapas, R Perera, AL Voinea, F Weber
River Publishers, 2017
102017
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
102013
Bounded polymorphism in session types
M Hole, S Gay
Technical Report TR-2003-132, Department of Computing Science, University of …, 2003
102003
Types and subtypes for correct communication in client-server systems
SJ Gay, M Hole
Department of Computing Science, University of Glasgow, 2003
102003
The different shades of infinite session types
SJ Gay, D Poças, VT Vasconcelos
International Conference on Foundations of Software Science and Computation …, 2022
92022
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
92018
Resource sharing via capability-based multiparty session types
AL Voinea, O Dardha, SJ Gay
International Conference on Integrated Formal Methods, 437-455, 2019
82019
Multiparty compatibility for concurrent objects
R Perera, J Lange, SJ Gay
arXiv preprint arXiv:1606.05943, 2016
82016
Stabilizer states as a basis for density matrices
SJ Gay
arXiv preprint arXiv:1112.2156, 2011
82011
Modelling SIGNAL in interaction categories
SJ Gay, R Nagarajan
Theory and Formal Methods, 148-158, 1993
71993
Theory and applications of behavioural types (Dagstuhl Seminar 17051)
S Gay, VT Vasconcelos, P Wadler, N Yoshida
Dagstuhl Reports 7 (1), 2017
62017
Intensional and extensional semantics of dataflow programs
S Gay, R Nagarajan
Formal aspects of computing 15, 299-318, 2003
62003
Gamma and the logic of transition traces
SJ Gay, CL Hankin
ADVANCES IN THEORY, 49, 1996
61996
An internal language for interaction categories
R Crole, S Gay, R Nagarajan
Theory and Formal Methods, 1994
61994
Interaction Nets
SJ Gay
University of Cambridge Computer Laboratory, 1991
51991
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
42023
Verification of linear optical quantum computing using quantum process calculus
S Franke-Arnold, SJ Gay, IV Puthoor
arXiv preprint arXiv:1408.1460, 2014
42014
Application of quantum process calculus to higher dimensional quantum protocols
SJ Gay, IV Puthoor
arXiv preprint arXiv:1303.2896, 2013
42013
Model-checking quantum protocols
SJ Gay, R Nagarajan, N Papanikolaou
August, 2008
42008
Subtyping between standard and linear function types
SJ Gay
Technical Report 2006-305. Glasgow, Scotland: Department of Computing …, 2006
42006
Bounded polymorphism in session types
SJ Gay, M Hole
Department of Computing Science, University of Glasgow, 2003
42003
A session type system for asynchronous unreliable broadcast communication
D Kouzapas, RF Gutkovas, AL Voinea, SJ Gay
arXiv preprint arXiv:1902.01353, 2019
32019
Techniques for Formal Modelling and Analysis of Quantum Systems
SJ Gay, R Nagarajan
Computation, Logic, Games, and Quantum Foundations. The Many Facets of …, 2013
32013
Hanoi: A typestate dsl for java
I McGinniss, S Gay
Technical Report TR-2011-326, University of Glasgow, 2011. Cited on, 2011
32011
Special Delivery: Programming with Mailbox Types (Extended Version)
S Fowler, DP Attard, F Sowul, SJ Gay, P Trinder
arXiv preprint arXiv:2306.12935, 2023
22023
Benefits of session types for software development
AL Voinea, SJ Gay
Proceedings of the 7th International Workshop on Evaluation and Usability of …, 2016
22016
Automated verification of quantum protocols by equivalence checking
E Ardeshir-Larijani, SJ Gay, R Nagarajan
arXiv preprint arXiv:1312.5951, 2013
22013
Formal analysis of quantum systems using process calculus
TAS Davidson, SJ Gay, R Nagarajan
arXiv preprint arXiv:1108.0469, 2011
22011
Formal verification of quantum protocols
S Gay
22002
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
12023
Cables, Trains and Types
SJ Gay
From Lambda Calculus to Cybersecurity through Program Analysis 12065, 2020
12020
Liveness for Verification
R Perera, SJ Gay
arXiv preprint arXiv:1609.04233, 2016
12016
A session type system for unreliable broadcast communication
R Gutkovas, D Kouzapas, SJ Gay
12016
Equational reasoning about quantum protocols
SJ Gay, IV Puthoor
Reversible Computation: 7th International Conference, RC 2015, Grenoble …, 2015
12015
Type inference and strong static type checking for Promela
AF Donaldson, SJ Gay
Science of Computer Programming 75 (11), 1165-1191, 2010
12010
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
The system can't perform the operation now. Try again later.
Articles 1–100