Reduce! Reuse! Recycle!
ZOMG. I just found this paper written by David Teller in 2004. It's freaking awesome.
| Abstract | |
| 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 π-calculus, an extension of the π-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 π-calculus. |
Dead process elimination! Just what I was hoping I wouldn't have to invent myself! Thank you, Dr. Teller!
My Groups
-
Amnesty International Updated: Yesterday
-
Writers Hub Updated: 3 days ago
Neighborhood
Explore friends, family, friends & family, or entire neighborhood.
