76 citations · 190 across the 11 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
cs.LO2010★ 10 cited
Process Behaviour: Formulae vs. Tests (Extended Abstract)
Andrea Cerone, Matthew Hennessy
Process behaviour is often defined either in terms of the tests they satisfy, or in terms of the logical properties they enjoy. Here we compare these two approaches, using extensio…
cs.LO2010★ 13 cited
A calculus for costed computations
matthew hennessy
We develop a version of the pi-calculus, picost, where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of…
cs.LO2010★ 4 cited
Uniqueness Typing for Resource Management in Message-Passing Concurrency
Edsko de Vries, Adrian Francalanza, Matthew Hennessy
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 stu…