A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf
.
A Calculus of Bounded Capacities
[chapter]
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