@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},
}

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