9 citations · 12 across the 2 of their papers we have counts for
2 papers
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…