4 research outputs found
A Fully Abstract Model for Mobile Ambients
AbstractAim of this paper is to investigate the possibility of developing filter models for calculi representing mobility. We will define a model for a variant of the Ambient Calculus. This model turns out to be fully abstract with respect to a notion of contextual equivalence which takes into account the ambients at top level
Type Assignement for Mobile Objects
Digitalitzat per Artypla