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.
['Mario Coppo', 'Mariangiola Dezani-Ciancaglini']
A Fully Abstract Model for Higher-Order Mobile Ambients