Skip to main content
    • Aa
    • Aa

Boxed ambients with communication interfaces


We define BACI(Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed communication policy determining the kind of information that can be exchanged with a parent ambient, even though mobility changes the parent. BACI lifts that restriction, allowing different communication policies with different parents during computation. Furthermore, BACI separates communication and mobility by making the channels of communication between ambients explicit. In contrast with other typed ambient calculi where communication policies are global, each ambient in BACI is equipped with a description of the communication policies ruling its information exchange with parent and child ambients. The communication policies of ambients increase when they move: more precisely, when an ambient enters another ambient, the entering ambient and the host ambient can exchange their communication ports and agree on the kind of information to be exchanged. This information is recorded locally in both ambients.

We show the type-soundness of BACI, proving that it satisfies the subject reduction property, and we study its behavioural semantics by means of a labelled transition system.

Hide All
M. Bugliesi , G. Castagna and S. Crafa (2004) Access Control for Mobile Agents: The Calculus of Boxed Ambients. ACM Transactions on Programming Languages and Systems 26 (1) 57124.

M. Bugliesi , S. Crafa , M. Merro and V. Sassone (2005) Communication and Mobility Control in Boxed Ambients. Information and Computation 202 (1) 3986.

L. Cardelli , G. Ghelli and A. D. Gordon (2002) Types for the Ambient Calculus. Information and Computation 177 (2) 160194.

L. Cardelli and A. D. Gordon (2000) Mobile Ambients. Theoretical Computer Science 240 (1) (Special Issue on Coordination) 177213.

G. Castagna , J. Vitek and F. Z. Nardelli (2005) The Seal Calculus. Information and Computation 201 (1) 154.

R. De Nicola , G. Ferrari and R. Pugliese (1998) Klaim: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering 24 (5) 315330.

P. Garralda , A. Compagnoni and M. Dezani-Ciancaglini (2006) BASS: Boxed Ambients with Safe Sessions. In: M. Maher (ed.) PPDP'06, ACM Press6172.

M. Hennessy , M. Merro and J. Rathke (2004) Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems. Theoretical Computer Science 322 (3) 615669.

M. Hennessy and J. Riely (2002) Resource Access Control in Systems of Mobile Agents. Information and Computation 173 82120.

F. Levi and D. Sangiorgi (2003) Controlling Interference in Ambients. Transactions on Programming Languages and Systems 25 (1) 169.

M. Merro and M. Hennessy (2006) Bisimulation Congruences in Safe Ambients. ACM Transactions on Programming Languages and System. 28 (2) 290330.

G. C. Necula (1997) Proof-Carrying Code. In: N. D. Jones (ed.) POPL'97, ACM Press106119.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 5 *
Loading metrics...

Abstract views

Total abstract views: 44 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 19th October 2017. This data will be updated every 24 hours.