3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
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…