Browsing by Subject "Message-passing concurrency, type systems, resource management"
Now showing items 1-1 of 1
-
Uniqueness Typing for Resource Management in Message-Passing Concurrency.
(2012)We view channels as the main form of resources in a message-passing programming paradigm. These channels need to be carefully managed in settings where resources are scarce. To study this problem, we extend the pi-calculus ...