Semantics of Name and Value Passing
In Proceedings of the Sixteenth Annual IEEE Symposium on Logic
in Computer Science, LICS 2001, pages 93--104.
IEEE Computer Society Press, 2001.
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