BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
1 × Spain
1 × The Netherlands
4 × USA
Collaborated with:
R.Nagarajan E.Ardeshir-Larijani M.Hole A. Laura Voinea N.Papanikolaou D.Kouzapas O.Dardha R.Perera V.T.Vasconcelos A.Ravara N.Gesbert A.Z.Caldeira
Talks about:
quantum (4) type (4) protocol (3) calculus (2) session (2) process (2) equival (2) mungo (2) check (2) typecheck (1)

Person: Simon J. Gay

DBLP DBLP: Gay:Simon_J=

Contributed to:

TACAS 20142014
TACAS 20132013
POPL 20102010
CAV 20082008
POPL 20052005
ESOP 19991999
LICS 19951995
POPL 19931993
PLATEAU 20162016
PPDP 20162016

Wrote 10 papers:

TACAS-2014-Ardeshir-LarijaniGN #concurrent #equivalence #protocol #quantum #verification
Verification of Concurrent Quantum Protocols by Equivalence Checking (EAL, SJG, RN), pp. 500–514.
TACAS-2013-Ardeshir-LarijaniGN #equivalence #protocol #quantum
Equivalence Checking of Quantum Protocols (EAL, SJG, RN), pp. 478–492.
POPL-2010-GayVRGC #composition #distributed #object-oriented #programming
Modular session types for distributed object-oriented programming (SJG, VTV, AR, NG, AZC), pp. 299–312.
CAV-2008-GayNP #model checking #named #quantum
QMC: A Model Checker for Quantum Systems (SJG, RN, NP), pp. 543–547.
POPL-2005-GayN #communication #process #quantum
Communicating quantum processes (SJG, RN), pp. 145–157.
ESOP-1999-GayH #interactive #type system
Types and Subtypes for Client-Server Interactions (SJG, MH), pp. 74–90.
LICS-1995-GayN #calculus #process
A Typed Calculus of Synchronous Processes (SJG, RN), pp. 210–220.
POPL-1993-Gay #algorithm #π-calculus
A Sort Inference Algorithm for the Polyadic π-Calculus (SJG), pp. 429–438.
PLATEAU-2016-VoineaG #development
Benefits of session types for software development (ALV, SJG), pp. 26–29.
PPDP-2016-KouzapasDPG #protocol
Typechecking protocols with Mungo and StMungo (DK, OD, RP, SJG), pp. 146–159.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.