@article{BarBugDezSas:TCS06,
  volume = {373},
  number = {1-2},
  issn = {0304-3975},
  author = {Franco Barbanera and Michele Bugliesi and Mariangiola
            Dezani-Ciancaglini and Vladimiro Sassone},
  url = {http://www.di.unito.it/~dezani/papers/bbds06.pdf},
  title = {{Space-Aware Ambients and Processes}},
  abstract = {Resource control has attracted increasing interest in foundational
              research on distributed systems. This paper focuses on space
              control and develops an analysis of space usage in the context of
              an ambient calculus with bounded capacities and weighed processes,
              where migration and activation require space. A type system
              controls the dynamics of the calculus by providing static
              guarantees that the intended capacity bounds are preserved
              throughout the computation. We investigate various term-level
              mechanisms to complement the typed control on the dynamics of
              space allocation and acquisition, and study their consequences on
              the semantic theory of the calculus. },
  year = {2007},
  journal = {Theoretical Compututer Science},
  pages = {41--69},
}

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