A Calculus of Bounded Capacities [chapter]

Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
2003 Lecture Notes in Computer Science  
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.
doi:10.1007/978-3-540-40965-6_14 fatcat:maayd4ckufcgrit6zimv3zkcem