Boxed Ambients with Communication Interfaces

13 years 11 months ago
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 splits communication and mobility by making explicit the channels of communication between ambients. 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 parents and children ambients. The communication policies of ambients increase when ambients move: more precisely, when an ambient enters another ambient, the entering ambient and the host ambient can exchange their communication ports and agre...
Eduardo Bonelli, Adriana B. Compagnoni, Mariangiol
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where MFCS
Authors Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda
Comments (0)