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
402*2010
Quantum programming languages: Survey and bibliography
SJ Gay
Mathematical Structures in Computer Science 16 (04), 581-600, 2006
2542006
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
191*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
1872016
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
The system can't perform the operation now. Try again later.
Articles 1–20