Mobile Calculi based on Domains


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: Wed Sep 20 22:06:49 CEST 2017