76 citations · 190 across the 11 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 41 cited
Using higher-order contracts to model session types
Giovanni Bernardi, Matthew Hennessy
Session types are used to describe and structure interactions between independent processes in distributed systems. Higher-order types are needed in order to properly structure del…
cs.LO2013★ 11 cited
Modelling Probabilistic Wireless Networks
Andrea Cerone, Matthew Hennessy
We propose a process calculus to model high level wireless systems, where the topology of a network is described by a digraph. The calculus enjoys features which are proper of wire…