76 citations · 190 across the 11 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014★ 9 cited
Modelling MAC-Layer Communications in Wireless Systems
Andrea Cerone, Matthew Hennessy, Massimo Merro
We present a timed process calculus for modelling wireless networks in which individual stations broadcast and receive messages; moreover the broadcasts are subject to collisions.…
cs.LO2014★ 3 cited
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…