A Calculus of Bounded Capacities

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 throuhout the computation.

• Type: Conference
• Year: 2003
• Where: ASIAN
• Authors: Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
• Keywords: Activation Require Space, ASIAN 2003, Intended Capacity Bounds, Space Control