Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are 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 »
InMFCS'04
SeriesLecture Notes in Computer Science
Editor(s) Jirí Fiala, Václav Koubek and Kratochvíl Jan
Volume3153
Page(s)119 -- 148
Year2004
PublisherSpringer-Verlag
URLhttp://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},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are 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)

Valid HTML 4.01!