The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Simon J. Gay: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
    Specification Structures and Propositions-as-Types for Concurrency. [Citation Graph (0, 0)][DBLP]
    Banff Higher Order Workshop, 1995, pp:5-40 [Conf]
  2. Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay
    Session Types for Functional Multithreading. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:497-511 [Conf]
  3. Simon J. Gay, Malcolm Hole
    Types and Subtypes for Client-Server Interactions. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:74-90 [Conf]
  4. Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan
    An Internal Language for Interaction Categories. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:85-104 [Conf]
  5. Simon J. Gay
    Combinators for Interaction Nets. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:63-84 [Conf]
  6. Simon J. Gay, Rajagopal Nagarajan
    Modelling SIGNAL in Interaction Categories. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:148-158 [Conf]
  7. Simon J. Gay, Rajagopal Nagarajan
    A Typed Calculus of Synchronous Processes [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:210-220 [Conf]
  8. Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
    Interaction categories and the foundations of typed concurrent programming. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:35-113 [Conf]
  9. Simon J. Gay
    A Sort Inference Algorithm for the Polyadic Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:429-438 [Conf]
  10. Simon J. Gay, Rajagopal Nagarajan
    Communicating quantum processes. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:145-157 [Conf]
  11. Alastair F. Donaldson, Simon J. Gay
    Etch: An Enhanced Type Checking Tool for Promela. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:266-271 [Conf]
  12. Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
    A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:295-320 [Conf]
  13. Simon J. Gay
    A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:217-232 [Conf]
  14. Simon J. Gay, Malcolm Hole
    Subtyping for session types in the pi calculus. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2005, v:42, n:2-3, pp:191-225 [Journal]
  15. Simon J. Gay
    Quantum Programming Languages: Survey and Bibliography. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2005, v:86, n:, pp:176-196 [Journal]
  16. Simon J. Gay, Rajagopal Nagarajan
    Intensional and Extensional Semantics of Dataflow Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:4, pp:299-318 [Journal]
  17. Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
    A Specification Structure for Deadlock-Freedom of Synchronous Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:222, n:1-2, pp:1-53 [Journal]
  18. Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara
    Type checking a multithreaded functional language with session types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:368, n:1-2, pp:64-87 [Journal]
  19. Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay
    An Automated Analysis of the Security of Quantum Key Distribution [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
  20. Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
    Probabilistic Model-Checking of Quantum Protocols [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]

  21. QMC: A Model Checker for Quantum Systems. [Citation Graph (, )][DBLP]


  22. Modular session types for distributed object-oriented programming. [Citation Graph (, )][DBLP]


  23. Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software [Citation Graph (, )][DBLP]


Search in 0.124secs, Finished in 0.125secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002