The University of Southampton
University of Southampton Institutional Repository

Typing and Subtyping Mobility in Boxed Ambients

Merro, M. and Sassone, V. (2002) Typing and Subtyping Mobility in Boxed Ambients At 13th Int. Conference on Concurrency Theory, CONCUR '02.. , pp. 304-320.

Record type: Conference or Workshop Item (Paper)


We provide a novel type system for Bugliesi et al.'s Boxed Ambients that combines value subtyping with mobility types. The former is based on read/write exchange types, the latter builds on the notion of ambient group. Mobility types allow to specify where an ambient is allowed to stay, closing existing expressiveness gaps in the literature at no additional complexity costs. Subtyping is aimed at achieving maximal generality on both communication and mobility types. We then introduce co-capabilities to express explicit permissions to access ambients. In this setting, ambient types are refined to specify who is allowed to enter an ambient, making a promising framework to model open systems.

PDF mbaCONCURoff.pdf - Other
Download (280kB)

More information

Published date: 2002
Venue - Dates: 13th Int. Conference on Concurrency Theory, CONCUR '02., 2002-01-01
Keywords: access control, security, type systems, ambient calculs.
Organisations: Web & Internet Science


Local EPrints ID: 262287
ISBN: 3-540-44043-7
PURE UUID: 95fcce65-65f2-4851-994e-d8a3a6a0b604

Catalogue record

Date deposited: 11 Apr 2006
Last modified: 18 Jul 2017 08:52

Export record


Author: M. Merro
Author: V. Sassone

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.