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-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation.
F. Barbanera is partially supported by MIUR project NAPOLI, M. Bugliesi by EU-FET project ‘MyThS’ IST-2001-32617, and by MIUR project MEFISTO, M. Dezani-Ciancaglini by EU-FET project DART IST-2001-33477, and by MIUR Projects COMETA and McTati, V. Sassone by EU-FET project ‘MIKADO’ IST-2001-32222. The funding bodies are not responsible for any use that might be made of the results presented here.

Fulltext Preview

Image of the first page of the fulltext document