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 |