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