Sections: home | consortium | meetings | output | private
You are here: home < output < papers < abstract

A Fully Abstract Model for Higher-Order Mobile Ambients

M. Coppo and M. {Dezani-Ciancaglini}

Abstract

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.

@InProceedings\{coppo.dezani-ciancaglini:fully-abstract-model,
  author = \{M. Coppo and M. {Dezani-Ciancaglini}},
  title = \{A Fully Abstract Model for Higher-Order Mobile Ambients},
  booktitle = \{VMCAI 2002},
  year = \{2002}, 
  pages = \{255--271}, 
  volume = \{2294}, 
  publisher = \{Springer-Verlag}, 
  url = \{http://mikado.di.fc.ul.pt/repository/coppo.dezani-ciancaglini_fully-abstract-model.pdf}
}

About this site. Last modified: Fri Apr 26 10:09:01 CEST 2024