Publications for 'SIMON GAY' ordered by Year. (38)
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1997
1996
1995
1993
1991
2010Modular Session Types for Distributed Object-Oriented ProgrammingGay,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]. 2009Dynamic interfacesVasconcelos,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]. 2008Bounded Polymorphism in Session TypesGay,S.J. Mathematical Structures in Computer Science Cambridge University Press [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]. 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]. 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]. 2007Asynchronous Functional Session TypesGay,S.J. Vasconcelos,V.T. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details]. 2006Quantum programming languages: survey and bibliographyGay,S.J. Mathematical Structures in Computer Science 16(4) DOI:10.1017/S0960129506005378 pp 581-600 Cambridge University Press [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]. 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]. 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]. 2005Communicating Quantum ProcessesGay,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]. 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]. Quantum Programming Languages: Survey and Bibliography Gay,S.J. Bulletin of the European Association for Theoretical Computer Science pp 176-196 [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]. 2004Session Types for Functional MultithreadingVasconcelos,V.T. Ravara,A. Gay,S.J. Proceedings of the International Conference on Concurrency Theory: CONCUR 2004. Volume 3170 of LNCS Springer [More Details]. 2003Bounded Polymorphism in Session TypesHole,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]. 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]. 2002Formal Verification of Quantum ProtocolsNagarajan,R. Gay,S.J. Quantum Physics Archive Quantum Physics Archive [More Details]. 2001A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOLGay,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]. 2000Types for Correct Communication in Client-Server SystemsGay,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]. 1999A Specification Structure for Deadlock-Freedom of Synchronous ProcessesAbramsky,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]. 1997A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous SystemsAbramsky,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]. 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]. 1996A Program Logic for GammaGay,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]. 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]. 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]. 1995A Typed Calculus of Synchronous ProcessesGay,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]. 1993A Sort Inference Algorithm for the Polyadic Pi-CalculusGay,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]. 1991Interaction NetsGay,S.J. Dissertation, Diploma in Computer Science, University of Cambridge Computer Laboratory [More Details]. |
|
Departmental Research Publications
| People Finder: |
Computing Science is a member of the Faculty of Information and Mathematical Sciences