# Semantics of Name and Value Passing

## Marcelo Fiore and Daniele Turi

Available as:

### 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 pi-calculus and value-passing CCS.

@InProceedings{FioreTuri01,
author = {Marcelo Fiore and Daniele Turi},
title = {Semantics of Name and Value Passing},
Organization={IEEE},
Publisher={Computer Society Press},
Booktitle={Proc.\ 16$^{\rm th}$ LICS Conf.},
pages = {93-104},
year = {2001}
}


Daniele Turi