Introducing Ambient Calculus in Mobile Aspect-Oriented Software

2006 ◽  
Author(s):  
N. Ali ◽  
J. Perez ◽  
I. Ramos ◽  
J.A. Carsi
Keyword(s):  
Ambient Calculus

scholarly journals Boxed ambients with communication interfaces

2007 ◽  
Vol 17 (4) ◽  
pp. 587-645 ◽  
Author(s):  
PABLO GARRALDA ◽  
EDUARDO BONELLI ◽  
ADRIANA COMPAGNONI ◽  
MARIANGIOLA DEZANI-CIANCAGLINI
Keyword(s):  
Information Exchange ◽  
Transition System ◽  
Communication Policy ◽  
Reduction Property ◽  
The Subject ◽  
Communication Policies ◽  
Ambient Calculus ◽  
Labelled Transition System

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.

scholarly journals Hybrid logical analyses of the ambient calculus

2010 ◽  
Vol 208 (5) ◽  
pp. 433-449
Author(s):  
Thomas Bolander ◽  
René Rydhof Hansen
Keyword(s):  
Ambient Calculus

scholarly journals Intensionality of Modal Logic for Robust Ambient Calculus

2003 ◽  
Vol 85 (1) ◽  
pp. 25-38
Author(s):  
Taolue Chen ◽  
Tingting Han ◽  
Jian Lu
Keyword(s):  
Modal Logic ◽  
Ambient Calculus

scholarly journals Types for the Ambient Calculus

2002 ◽  
Vol 177 (2) ◽  
pp. 160-194 ◽  
Author(s):  
L Cardelli
Keyword(s):  
Ambient Calculus
Sign in / Sign up

Export Citation Format

Share Document