UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for 'Dr Simon J Gay' ordered by Year. (39)

2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1997 1996 1995 1993 1991

2011

Hanoi: A Typestate DSL for Java
McGinniss,I. Gay,S.J. DCS Technical Report Series pp 20 Dept of Computing Science, University of Glasgow [More Details].

2010

Modular Session Types for Distributed Object-Oriented Programming
Gay,S.J. Vasconcelos,V.T. Ravara,A. Gesbert,N. Caldeira,A.Z. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

Modular Session Types for Distributed Object-Oriented Programming
Gay,S.J. Vasconcelos,V.T. Ravara,A. Gesbert,N. Caldeira,A.Z. POPL'10, 37th ACM symposium on Principles of programming languages, Madrid pp 299-312 ACM [More Details].

2009

Dynamic interfaces
Vasconcelos,V.T.
Gay,S.J. Ravara,A. Gesbert,N. Caldeira,A.Z. FOOL'09, international workshop on foundations of object-oriented languages pp 12 [More Details].

2008

Bounded Polymorphism in Session Types
Gay,S.J. Mathematical Structures in Computer Science Cambridge University Press [More Details].

QMC: a model checker for quantum systems
Gay,S.J. Papanikolaou,N. Nagarajan,R. Proceedings of the 20th International Conference on Computer Aided Verification (CAV), Springer LNCS 5123 DOI: 10.1007/978-3-540-70545-1_51 pp 543-547 Springer [More Details].

Dynamic Interfaces
Gay,S.J. Ravara,A. Vasconcelos,V.T. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

Session Types as Generic Process Types
Gay,S.J. Gesbert,N. Ravara,A. First Workshop on Programming language approaches to concurrency and communication-centric software (PLACES'08), Oslo pp 16-21 [More Details].

2007

Asynchronous Functional Session Types
Gay,S.J. Vasconcelos,V.T. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

2006

Types and typechecking for Communicating Quantum Processes
Gay,S.J. Nagarajan,R. Mathematical Structures in Computer Science 16(3) DOI:10.1017/S0960129506005263 pp 375-406 Cambridge University Press [More Details].

Quantum programming languages: survey and bibliography
Gay,S.J. Mathematical Structures in Computer Science 16(4) DOI:10.1017/S0960129506005378 pp 581-600 Cambridge University Press [More Details].

Type checking a multithreaded functional language with session types
Vasconcelos,V.T. Gay,S.J. Theoretical Computer Science 368(1-2) DOI:10.1016/j.tcs.2006.06.028 pp 64-87 Elsevier Science [More Details].

Subtyping between Standard and Linear Function Types
Gay,S.J. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

2005

Etch: Enhanced Typechecking for Promela
Donaldson,A.F.
Gay,S.J. Proceedings of the SPIN Workshop; LNCS 3639 DOI: 10.1007/11537328_21 pp 266-271 Springer [More Details].

Subtyping for session types in the pi calculus
Gay,S.J. Hole,M.J. Acta Informatica 42(2/3) DOI: 10.1007/s00236-005-0177-z pp 191-225 Springer [More Details].

Communicating Quantum Processes
Gay,S.J. Nagarajan,R. Proceedings of the 32nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages DOI: 10.1145/1040305.1040318 pp 145-157 ACM Press [More Details].

Quantum Programming Languages: Survey and Bibliography
Gay,S.J. Bulletin of the European Association for Theoretical Computer Science pp 176-196 [More Details].

2004

Session Types for Functional Multithreading
Vasconcelos,V.T. Ravara,A.
Gay,S.J. Proceedings of the International Conference on Concurrency Theory: CONCUR 2004. Volume 3170 of LNCS Springer [More Details].

2003

Types and Subtypes for Correct Communication in Client-Server Systems
Gay,S.J. Hole,M.J. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

Bounded Polymorphism in Session Types
Hole,M.J. Gay,S.J. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

Intensional and Extensional Semantics of Dataflow Programs
Gay,S.J. Nagarajan,R. Formal Aspects of Computing, Volume 15 DOI: 10.1007/s00165-003-0018-1 pp 299-318 Springer [More Details].

Session Types for Inter-Process Communication
Gay,S.J. Vasconcelos,V.T. Ravara,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

2002

Formal Verification of Quantum Protocols
Nagarajan,R.
Gay,S.J. Quantum Physics Archive Quantum Physics Archive [More Details].

2001

A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL
Gay,S.J. Theorem Proving in Higher Order Logics - Proceedings of the 14th International Conference, TPHOLs 2001 (R.J.Boulton and P.B.Jackson, eds). Volume 2152 of Lecture Notes in Computer Science, Springer-Verlag. DOI: 10.1007/3-540-44755-5_16 pp 217-232 Springer [More Details].

2000

Types for Correct Communication in Client-Server Systems
Gay,S.J. Hole,M. Technical report CSD-TR-00-07, Department of Computer Science, Royal Holloway, University of London Department of Computer Science, Royal Holloway, University of London [More Details].

1999

A Specification Structure for Deadlock-Freedom of Synchronous Processes
Abramsky,S.
Gay,S.J. Nagarajan,R. Theoretical Computer Science 222(1-2) DOI: 10.1016/S0304-3975(98)00189-3 pp 1-53 Elsevier Science [More Details].

Types and Subtypes for Client-Server Interactions
Gay,S.J. Hole,M. Proceedings of the European Symposium on Programming Languages and Systems, Amsterdam. (Swiersta, D., Ed.). Lecture Notes in Computer Science, Volume No. 1576. pp 74-90 Springer [More Details].

1997

Gamma and the Logic of Transition Traces
Gay,S.J. Hankin,C.L. Advances in Theory and Formal Methods of Computing Imperial College Press [More Details].

A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems
Abramsky,S. Gay,S.J. Nagarajan,R. Proceedings of the International Symposium on Theoretical Aspects of Computer Software, TACS'97, Sendai, Japan, (Abadi, M., and Ito, T., Eds.,), Lecture Notes in Computer Science, Volume No. 1281 DOI: 10.1007/BFb0014557 pp 295-320 Springer [More Details].

1996

A Program Logic for Gamma
Gay,S.J. Hankin,C.L. Coordination Programming: Mechanisms, Models and Semantics (J.-M. Andreoli and C. L. Hankin, eds.) pp 171-194 Imperial College Press [More Details].

Specification Structures and Propositions-as-Types for Concurrency
Abramsky,S. Gay,S.J. Nagarajan,R. Logics for Concurrency: Structure vs. Automata. - Proceedings of the VIIIth Banff Higher Order Workshop (Birtwistle, G. and Moller, F., Eds.). Lecture Notes in Computer Science, Volume No 1043 DOI: 10.1007/3-540-60915-6_2 pp 5-40 Springer [More Details].

Interaction Categories and the Foundations of Typed Concurrent Programming
Abramsky,S. Gay,S.J. Nagarajan,R. Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School (M. Broy, ed.). NATO ASI Series F, Springer-Verlag Springer [More Details].

1995

A Typed Calculus of Synchronous Processes
Gay,S.J. Nagarajan,R. Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science DOI: 10.1109/LICS.1995.523258 IEEE Computer Society Press [More Details].

An Internal Language for Interaction Categories
Crole,R.L. Gay,S.J. Nagarajan,R. Theory and Formal Methods 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods (C. L. Hankin, I. C. Mackie and R. Nagarajan, eds.) Imperial College Press [More Details].

Combinators for Interaction Nets
Gay,S.J. Theory and Formal Methods 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods (C. L. Hankin, I. C. Mackie and R. Nagarajan, eds.) Imperial College Press [More Details].

Linear Types for Communicating Processes
Gay,S.J. University of London PhD Thesis [More Details].

1993

A Sort Inference Algorithm for the Polyadic Pi-Calculus
Gay,S.J. Proceedings of the 20th ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages DOI: 10.1145/158511.158701 ACM Press [More Details].

Modelling SIGNAL in Interaction Categories
Gay,S.J. Nagarajan,R. Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods (G. L. Burn, S. J. Gay and M. D. Ryan, eds.), Workshops in Computing Series, Springer-Verlag Springer [More Details].

1991

Interaction Nets
Gay,S.J. Dissertation, Diploma in Computer Science, University of Cambridge Computer Laboratory [More Details].