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

 bonecompdezagarr04 (In proceedings) Author(s) Eduardo Bonelli, Adriana Compagnoni, Mariangiola Dezani-Ciancaglini and Pablo Garralda Title « Boxed Ambients with Communication Interfaces » In MFCS'04 Series Lecture Notes in Computer Science Editor(s) Jirí Fiala, Václav Koubek and Kratochvíl Jan Volume 3153 Page(s) 119 -- 148 Year 2004 Publisher Springer-Verlag URL http://www.di.unito.it/~dezani/papers/bcdg.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

@inproceedings{bonecompdezagarr04,
volume = {3153},
author = {Eduardo Bonelli and Adriana Compagnoni and Mariangiola
Dezani-Ciancaglini and Pablo Garralda},
series = {Lecture Notes in Computer Science},
booktitle = {MFCS'04},
editor = {Fiala, Jir\'{\i} and Koubek, V\'aclav and Kratochv\'{\i}l Jan},
url = {http://www.di.unito.it/~dezani/papers/bcdg.pdf},
title = {{Boxed Ambients with Communication Interfaces}},
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.},
publisher = {Springer-Verlag},
year = {2004},
pages = {119 -- 148},
}

 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)