Paper: A Typed Calculus of Synchronous Processes (at LICS 1995)

Authors: Simon J. Gay Rajagopal Nagarajan

Abstract

We propose a typed calculus of synchronous processes based on the structure of interaction categories. Our aim has been to develop a calculus for concurrency that is canonical in the sense that the typed lambda-calculus is canonical for functional computation. We show strong connections between syntax, logic and semantics, analogous to the familiar correspondence between the typed lambda- calculus, intuitionistic logic and cartesian closed categories.

BibTeX

  @InProceedings{GayNagarajan-ATypedCalculusofSyn,
    author = 	 {Simon J. Gay and Rajagopal Nagarajan},
    title = 	 {A Typed Calculus of Synchronous Processes},
    booktitle =  {Proceedings of the Tenth Annual IEEE Symposium on Logic in Computer Science (LICS 1995)},
    year =	 {1995},
    month =	 {June}, 
    pages =      {210--220},
    location =   {San Diego, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }