Simon J. Gay

	2010
27		Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira: Modular session types for distributed object-oriented programming. POPL 2010: 299-312
26		Alastair R. Beresford, Simon J. Gay: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software CoRR abs/1002.1408: (2010)
	2008
25		Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: QMC: A Model Checker for Quantum Systems. CAV 2008: 543-547
24		Simon J. Gay: Bounded polymorphism in session types. Mathematical Structures in Computer Science 18(5): 895-930 (2008)
	2006
23		Simon J. Gay, Rajagopal Nagarajan: Types and typechecking for Communicating Quantum Processes. Mathematical Structures in Computer Science 16(3): 375-406 (2006)
22		Simon J. Gay: Quantum programming languages: survey and bibliography. Mathematical Structures in Computer Science 16(4): 581-600 (2006)
21		Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara: Type checking a multithreaded functional language with session types. Theor. Comput. Sci. 368(1-2): 64-87 (2006)
	2005
20		Simon J. Gay, Rajagopal Nagarajan: Communicating quantum processes. POPL 2005: 145-157
19		Alastair F. Donaldson, Simon J. Gay: Etch: An Enhanced Type Checking Tool for Promela. SPIN 2005: 266-271
18		Simon J. Gay, Malcolm Hole: Subtyping for session types in the pi calculus. Acta Inf. 42(2-3): 191-225 (2005)
17		Simon J. Gay: Quantum Programming Languages: Survey and Bibliography. Bulletin of the EATCS 86: 176-196 (2005)
16		Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay: An Automated Analysis of the Security of Quantum Key Distribution CoRR abs/cs/0502048: (2005)
15		Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: Probabilistic Model-Checking of Quantum Protocols CoRR abs/quant-ph/0504007: (2005)
	2004
14		Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay: Session Types for Functional Multithreading. CONCUR 2004: 497-511
	2003
13		Simon J. Gay, Rajagopal Nagarajan: Intensional and Extensional Semantics of Dataflow Programs. Formal Asp. Comput. 15(4): 299-318 (2003)
	2001
12		Simon J. Gay: A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL. TPHOLs 2001: 217-232
	1999
11		Simon J. Gay, Malcolm Hole: Types and Subtypes for Client-Server Interactions. ESOP 1999: 74-90
10		Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan: A Specification Structure for Deadlock-Freedom of Synchronous Processes. Theor. Comput. Sci. 222(1-2): 1-53 (1999)
	1997
9		Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan: A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems. TACS 1997: 295-320
	1996
8		Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan: Interaction categories and the foundations of typed concurrent programming. NATO ASI DPD 1996: 35-113
	1995
7		Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan: Specification Structures and Propositions-as-Types for Concurrency. Banff Higher Order Workshop 1995: 5-40
6		Simon J. Gay, Rajagopal Nagarajan: A Typed Calculus of Synchronous Processes LICS 1995: 210-220
	1994
5		Simon J. Gay: Combinators for Interaction Nets. Theory and Formal Methods 1994: 63-84
4		Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan: An Internal Language for Interaction Categories. Theory and Formal Methods 1994: 85-104
	1993
3		Geoffrey L. Burn, Simon J. Gay, Mark Ryan: Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 Springer 1993
2		Simon J. Gay: A Sort Inference Algorithm for the Polyadic Pi-Calculus. POPL 1993: 429-438
1		Simon J. Gay, Rajagopal Nagarajan: Modelling SIGNAL in Interaction Categories. Theory and Formal Methods 1993: 148-158

Coauthor Index

1	Samson Abramsky	[7] [8] [9] [10]
2	Alastair R. Beresford	[26]
3	Garry Bowen	[16]
4	Geoffrey L. Burn	[3]
5	Alexandre Z. Caldeira	[27]
6	Roy L. Crole	[4]
7	Alastair F. Donaldson	[19]
8	Nils Gesbert	[27]
9	Malcolm Hole	[11] [18]
10	Rajagopal Nagarajan	[1] [4] [6] [7] [8] [9] [10] [13] [15] [16] [20] [23] [25]
11	Nikolaos Papanikolaou (Nick Papanikolaou)	[15] [16] [25]
12	António Ravara	[14] [21] [27]
13	Mark Ryan (Mark Dermot Ryan)	[3]
14	Vasco Thudichum Vasconcelos	[14] [21] [27]

Colors in the list of coauthors