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 of B A aimed 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. © Springer-Verlag Berlin Heidelberg 2002.
CITATION STYLE
Bugliesi, M., Crafa, S., Merro, M., & Sassone, V. (2002). Communication interference in mobile boxed ambients. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2556 LNCS, pp. 71–84). Springer Verlag. https://doi.org/10.1007/3-540-36206-1_8
Mendeley helps you to discover research relevant for your work.