Logic in Computer Science (LICS 1995)

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

Authors: Simon 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 Gay and Rajagopal Nagarajan},
    title = 	 {A Typed Calculus of Synchronous Processes},
    booktitle =  {Proceedings of the Tenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1995},
    year =	 1995,
    editor =	 {Dexter Kozen},
    month =	 {June}, 
    pages =      {210-220},
    location =   {San Diego, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }