F. Barbanera, M. Bugliesi, M. Dezani-Ciancaglini, and
V. Sassone
A calculus of bounded capacities
In ASIAN'03, number 2896 in LNCS, pages 205-223
Springer-Verlag, 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