M. Coppo and M. Dezani-Ciancaglini
A fully abstract model for higher-order mobile
ambients
In VMCAI 2002, volume 2294 of LNCS, pages 255-271, 2002
Aim of this paper is to develop a filter model for
a calculus
with mobility and higher-order value passing. We will define it
for an extension of the Ambient Calculus in which processes can
be passed as values. This model turns out to be fully abstract
with respect to the notion of contextual equivalence where the
observables are ambients at top level.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43