Simon J. Gay - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Type inference and strong static type checking for PromelaAlastair F. Donaldson, Simon J. Gay. SCP, 75(11):1165-1191, 2010. [doi]

Linear type theory for asynchronous session typesSimon J. Gay, Vasco Thudichum Vasconcelos. JFP, 20(1):19-50, 2010. [doi]

Modular session types for distributed object-oriented programmingSimon J. Gay, Vasco Thudichum Vasconcelos, AntÃ³nio Ravara, Nils Gesbert, Alexandre Z. Caldeira. POPL 2010: 299-312 [doi]

2008

Bounded polymorphism in session typesSimon J. Gay. mscs, 18(5):895-930, 2008. [doi]

QMC: A Model Checker for Quantum SystemsSimon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou. cav 2008: 543-547 [doi]

2006

Types and typechecking for Communicating Quantum ProcessesSimon J. Gay, Rajagopal Nagarajan. mscs, 16(3):375-406, 2006. [doi]

Quantum programming languages: survey and bibliographySimon J. Gay. mscs, 16(4):581-600, 2006. [doi]

Type checking a multithreaded functional language with session typesVasco Thudichum Vasconcelos, Simon J. Gay, António Ravara. TCS, 368(1-2):64-87, 2006. [doi]

2005

Etch: An Enhanced Type Checking Tool for PromelaAlastair F. Donaldson, Simon J. Gay. spin 2005: 266-271 [doi]

Communicating quantum processesSimon J. Gay, Rajagopal Nagarajan. POPL 2005: 145-157 [doi]

Subtyping for session types in the pi calculusSimon J. Gay, Malcolm Hole. ACTA, 42(2-3):191-225, 2005. [doi]

Quantum Programming Languages: Survey and BibliographySimon J. Gay. eatcs, 86:176-196, 2005. [doi]

2004

Session Types for Functional MultithreadingVasco Thudichum Vasconcelos, António Ravara, Simon J. Gay. concur 2004: 497-511 [doi]

2003

Intensional and Extensional Semantics of Dataflow ProgramsSimon J. Gay, Rajagopal Nagarajan. fac, 15(4):299-318, 2003. [doi]

2001

A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOLSimon J. Gay. tphol 2001: 217-232 [doi]

1999

A Specification Structure for Deadlock-Freedom of Synchronous ProcessesSamson Abramsky, Simon J. Gay, Rajagopal Nagarajan. TCS, 222(1-2):1-53, 1999. [doi]

Types and Subtypes for Client-Server InteractionsSimon J. Gay, Malcolm Hole. ESOP 1999: 74-90 [doi]

1997

A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous SystemsSamson Abramsky, Simon J. Gay, Rajagopal Nagarajan. tacs 1997: 295-320

1996

Interaction categories and the foundations of typed concurrent programmingSamson Abramsky, Simon J. Gay, Rajagopal Nagarajan. nato 1996: 35-113

1995

Specification Structures and Propositions-as-Types for ConcurrencySamson Abramsky, Simon J. Gay, Rajagopal Nagarajan. banff 1996: 5-40

A Typed Calculus of Synchronous ProcessesSimon J. Gay, Rajagopal Nagarajan. lics 1995: 210-220

1994

An Internal Language for Interaction CategoriesRoy L. Crole, Simon J. Gay, Rajagopal Nagarajan. imperial 1995: 85-104

Combinators for Interaction NetsSimon J. Gay. imperial 1995: 63-84

1993

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 1993Geoffrey L. Burn, Simon J. Gay, Mark Ryan, editors, Workshops in Computing, Springer, 1993.

A Sort Inference Algorithm for the Polyadic Pi-CalculusSimon J. Gay. POPL 1993: 429-438

Modelling SIGNAL in Interaction CategoriesSimon J. Gay, Rajagopal Nagarajan. imperial 1993: 148-158