Communication Interference in Mobile Boxed Ambients


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 BA aimed at controlling communication interferences aswell 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.

DOI: 10.1007/3-540-36206-1_8

Extracted Key Phrases

3 Figures and Tables


Citations per Year

68 Citations

Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Bugliesi2002CommunicationII, title={Communication Interference in Mobile Boxed Ambients}, author={Michele Bugliesi and Silvia Crafa and Massimo Merro and Vladimiro Sassone}, booktitle={FSTTCS}, year={2002} }