关注
Simon J Gay
Simon J Gay
School of Computing Science, University of Glasgow
在 dcs.gla.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Subtyping for session types in the pi calculus
S Gay, M Hole
Acta Informatica 42 (2), 191-225, 2005
4932005
Semantic techniques in quantum computation
S Gay, I Mackie
Cambridge University Press, 2010
405*2010
Quantum programming languages: Survey and bibliography
SJ Gay
Mathematical Structures in Computer Science 16 (04), 581-600, 2006
2572006
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
198*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
1882016
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
1732005
Types and subtypes for client-server interactions
S Gay, M Hole
Programming Languages and Systems: 8th European Symposium on Programming …, 1999
1671999
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
802008
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
592005
A new linear logic for deadlock-free session-typed processes
O Dardha, SJ Gay
Foundations of Software Science and Computation Structures: 21st …, 2018
562018
Typechecking protocols with Mungo and StMungo
D Kouzapas, O Dardha, R Perera, SJ Gay
18th International Symposium on Principles and Practice of Declarative …, 2016
532016
Types and typechecking for communicating quantum processes
SJ Gay, R Nagarajan
Mathematical Structures in Computer Science 16 (3), 375-406, 2006
522006
系统目前无法执行此操作,请稍后再试。
文章 1–20