Recovering resources in the pi-calculus
Although limits of resources such as memory or disk usage
are one of the key problems of many communicating applications, most
process algebras fail to take this aspect of mobile and concurrent systems
into account. In order to study this problem, we introduce the Controlled
pi-calculus, an extension of the pi-calculus with a notion of recovery of
unused resources with an explicit (parametrized) garbage-collection and
dead-process elimination. We discuss the definition of garbage-collection
and dead-process elimination for concurrent, communicating applications,
and provide a type-based technique for statically proving resource
bounds. Selected examples are presented and show the potential of the
Controlled pi-calculus.
Recent comments
16 weeks 1 day ago
20 weeks 3 days ago
22 weeks 5 hours ago
22 weeks 5 hours ago
24 weeks 5 days ago
29 weeks 2 days ago
29 weeks 2 days ago
29 weeks 5 days ago
29 weeks 5 days ago
32 weeks 4 days ago