F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and
V. Sassone
A calculus of bounded capacities
Submitted to a journal. Extendend version of
[85], December 2003
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.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43