File(s) not publicly available
Communication interference in mobile boxed ambients
journal contribution
posted on 2023-06-07, 23:26 authored by Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro SassoneBoxed 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
History
Publication status
- Published
Journal
Information and ComputationISSN
0890-5401Publisher
ElsevierExternal DOI
Issue
1Volume
202Page range
39-86Department affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2013-02-11Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC