Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency

Adrian Francalanza, Edsko DeVries, Matthew Hennessy

We define a pi-calculus variant with a costed semantics where channels are treated as resources that must explicitly be allocated before they are used and can be deallocated when n…