Seguir
Simon J Gay
Simon J Gay
School of Computing Science, University of Glasgow
Dirección de correo verificada de dcs.gla.ac.uk - Página principal
Título
Citado por
Citado por
Año
Subtyping for session types in the pi calculus
S Gay, M Hole
Acta Informatica 42 (2), 191-225, 2005
4882005
Semantic techniques in quantum computation
S Gay, I Mackie
Cambridge University Press, 2010
403*2010
Quantum programming languages: Survey and bibliography
SJ Gay
Mathematical Structures in Computer Science 16 (04), 581-600, 2006
2562006
Linear type theory for asynchronous session types
SJ Gay, VT Vasconcelos
Journal of Functional Programming 20 (1), 19-50, 2010
2402010
Behavioural Types: from Theory to Tools
S Gay, A Ravara
CRC Press, 2017
195*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
1831996
Communicating quantum processes
SJ Gay, R Nagarajan
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2005
1722005
Types and subtypes for client-server interactions
S Gay, M Hole
Programming Languages and Systems: 8th European Symposium on Programming …, 1999
1661999
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
892003
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
692004
Probabilistic Model--Checking of Quantum Protocols
S Gay, R Nagarajan, N Papanikolaou
arXiv preprint quant-ph/0504007, 2005
602005
A new linear logic for deadlock-free session-typed processes
O Dardha, SJ Gay
Foundations of Software Science and Computation Structures: 21st …, 2018
542018
Types and typechecking for communicating quantum processes
SJ Gay, R Nagarajan
Mathematical Structures in Computer Science 16 (3), 375-406, 2006
522006
Typechecking protocols with Mungo and StMungo
D Kouzapas, O Dardha, R Perera, SJ Gay
18th International Symposium on Principles and Practice of Declarative …, 2016
512016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20