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
3992005
Semantic techniques in quantum computation
S Gay, I Mackie
Cambridge University Press, 2010
280*2010
Linear type theory for asynchronous session types
SJ Gay, VT Vasconcelos
Journal of Functional Programming 20 (1), 19-50, 2010
1882010
Quantum programming languages: Survey and bibliography
SJ Gay
Mathematical Structures in Computer Science 16 (04), 581-600, 2006
1862006
Interaction categories and the foundations of typed concurrent programming
S Abramsky, SJ Gay, R Nagarajan
NATO ASI DPD, 35-113, 1996
1711996
Types and subtypes for client-server interactions
S Gay, M Hole
European Symposium on Programming, 74-90, 1999
1451999
Communicating quantum processes
SJ Gay, R Nagarajan
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
1282005
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
1172010
Type checking a multithreaded functional language with session types
VT Vasconcelos, SJ Gay, A Ravara
Theoretical Computer Science 368 (1-2), 64-87, 2006
1172006
A sort inference algorithm for the polyadic pi-calculus
SJ Gay
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
1051993
Behavioural Types: From Theory to Tools
S Gay, A Ravara
River Publishers, 2017
98*2017
Behavioral types in programming languages
N Yoshida, VT Vasconcelos, L Padovani, NN Bono, R Neykova, F Montesi, ...
Foundations and Trends in Programming Languages 3 (2-3), 95-230, 2016
962016
QMC: A model checker for quantum systems
SJ Gay, R Nagarajan, N Papanikolaou
International Conference on Computer Aided Verification, 543-547, 2008
852008
Session types for inter-process communication
S Gay, V Vasconcelos, A Ravara
Technical Report TR-2003-133, Department of Computing Science, University of …, 2003
852003
Bounded polymorphism in session types
SJ Gay
Mathematical Structures in Computer Science 18 (05), 895-930, 2008
672008
Session types for functional multithreading
V Vasconcelos, A Ravara, S Gay
International Conference on Concurrency Theory, 497-511, 2004
612004
Probabilistic Model--Checking of Quantum Protocols
S Gay, R Nagarajan, N Papanikolaou
arXiv preprint quant-ph/0504007, 2005
472005
Specification structures and propositions-as-types for concurrency
S Abramsky, S Gay, R Nagarajan
Logics for Concurrency, 5-40, 1996
471996
Types and typechecking for communicating quantum processes
SJ Gay, R Nagarajan
Mathematical Structures in Computer Science 16 (3), 375-406, 2006
452006
On duality relations for session types
G Bernardi, O Dardha, SJ Gay, D Kouzapas
International Symposium on Trustworthy Global Computing, 51-66, 2014
362014
The system can't perform the operation now. Try again later.
Articles 1–20