Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Sixteenth Annual IEEE Symposium on

Logic in Computer Science (LICS 2001)

Paper: Semantics of Name and Value Passing (at LICS 2001)

Authors: Marcelo P. Fiore Daniele Turi

Abstract

We provide a semantic framework for (first order) message-passing process calculi by combining categorical theories of abstract syntax with binding and operational semantics. In particular, we obtain abstract rule formats for name and value passing with both late and early interpretations. These formats induce an initial-algebra/final-coalgebra semantics that is compositional, respects substitution, and is fully abstract for late and early congruence. We exemplify the theory with the p-calculus and value-passing CCS.

BibTeX

  @InProceedings{FioreTuri-SemanticsofNameandV,
    author = 	 {Marcelo P. Fiore and Daniele Turi},
    title = 	 {Semantics of Name and Value Passing},
    booktitle =  {Proceedings of the Sixteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2001)},
    year =	 {2001},
    month =	 {June}, 
    pages =      {93--104},
    location =   {Boston, MA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }
   

Last modified: 2017-04-0512:37
Andrzej Murawski