The University of Southampton
University of Southampton Institutional Repository

Towards a behavioural theory of access and mobility control in distributed systems

Hennessy, Matthew, Merro, Massimo and Rathke, Julian, Sassone, Vladimiro(ed.) (2004) Towards a behavioural theory of access and mobility control in distributed systems Theoretical Computer Science, 322, (3), pp. 615-669.

Record type: Article


We define a typed bisimulation equivalence for the language Dpi, a distributed version of the pi-calculus in which processes may migrate between dynamically created locations. It takes into account resource access policies, which can be implemented in Dpi using a novel form of dynamic capability types. The equivalence, based on typed actions between configurations, is justified by showing that it is fully-abstract with respect to a natural distributed version of a contextual equivalence. In the second part of the paper we study the effect of controlling the migration of processes. This affects the ability to perform observations at specific locations, as the observer may be denied access. We show how the typed actions can be modified to take this into account, and generalise the full-abstraction result to this more delicate scenario.

PDF tbtamcdsfull.pdf - Other
Restricted to Registered users only
Download (513kB)

More information

Published date: 2004
Organisations: Web & Internet Science, Electronic & Software Systems


Local EPrints ID: 263366
ISSN: 0304-3975
PURE UUID: 52b7835d-e12e-41c8-a1d4-68ac9da2058d

Catalogue record

Date deposited: 01 Feb 2007
Last modified: 18 Jul 2017 07:46

Export record


Author: Matthew Hennessy
Author: Massimo Merro
Author: Julian Rathke
Editor: Vladimiro 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.