Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

 bonecompdezagarr06 (Article) Author(s) Pablo Garralda, Eduardo Bonelli, Adriana Compagnoni and Mariangiola Dezani-Ciancaglini Title « Boxed Ambients with Communication Interfaces » Journal MSCS Volume 17 Page(s) 1--59 Year 2007 URL http://www.di.unito.it/~dezani/papers/baci.pdf
 Abstract We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus allowing a liberal communication policy. Each ambient carries its local view of the topic of conversation (the type of the information being exchanged) with parents and children that will condition where it is allowed to stay or migrate to and which ambients may be allowed to enter it. The topic of conversation view of ambients can dynamically change during migration. BACI is flexible enough to allow different topics of conversation between an ambient and different parents, without compromising type-safety: it uses port names for communication and ambient names for mobility. Capabilities and co-capabilities exchange port names and run-time typing information to control mobility. We show the type-soundness of BACI proving that it satisfies the subject reduction property. Moreover we study its behavioural semantics by means of a labelled transition system.

 BibTeX code

@article{bonecompdezagarr06,
volume = {17},
author = {Pablo Garralda and Eduardo Bonelli and Adriana Compagnoni and
Mariangiola Dezani-Ciancaglini },
url = {http://www.di.unito.it/~dezani/papers/baci.pdf},
abstract = {We define {\bf BACI} {\it(Boxed Ambients with Communication
Interfaces)}, an ambient calculus allowing a liberal communication
policy. Each ambient carries its local view of the topic of
conversation (the type of the information being exchanged) with
parents and children that will condition where it is allowed to
stay or migrate to and which ambients may be allowed to enter it.
The topic of conversation view of ambients can dynamically change
during migration. {\bf BACI} is flexible enough to allow different
topics of conversation between an ambient and different parents,
without compromising type-safety: it uses port names for
communication and ambient names for mobility. Capabilities and
co-capabilities exchange port names and run-time typing
information to control mobility. We show the type-soundness of
{\bf BACI} proving that it satisfies the subject reduction
property. Moreover we study its behavioural semantics by means of
a labelled transition system.},
title = {{Boxed Ambients with Communication Interfaces}},
publisher = {Cambridge},
journal = {MSCS},
year = {2007},
pages = {1--59},
}

 Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)