| A Calculus of Bounded Capacities (2003) | |||||||||||||||||
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. | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||