Communication interference in mobile boxed ambients

Bugliesi, Michele, Crafa, Silvia, Merro, Massimo and Sassone, Vladimiro (2005) Communication interference in mobile boxed ambients. Information and Computation, 202 (1). pp. 39-86. ISSN 0890-5401

Full text not available from this repository.

Abstract

Boxed Ambients (BA) replace Mobile Ambients’open capability with communication primitives acting across ambient boundaries. Expressiveness is achieved at the price of communication interferences on message reception whose resolution requires synchronisation of activities at multiple, distributed locations. We study a variant ofBAaimed at controlling communication interferences as well as mobility ones. Our calculus draws inspiration from Safe Ambients (SA) (with passwords) and modifies the communication mechanism of BA. Expressiveness is maintained through a new form of co-capability that at the same time registers incoming agents with the receiver ambient and performs access control

Item Type: Article
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: EPrints Services
Date Deposited: 11 Feb 2013 15:08
Last Modified: 11 Feb 2013 15:08
URI: http://sro.sussex.ac.uk/id/eprint/21349
📧 Request an update