A simple probabilistic broadcast language

  title={A simple probabilistic broadcast language},
  author={Andrea Cerone and Matthew Hennessy},
We propose a process calculus to model high level wireless systems, where the topology of a network is described by a graph. The calculus enjoys features which are proper of wireless networks, namely broadcast communication and probabilistic behaviour. We first focus on the problem of composing wireless networks, then we present a compositional theory based… CONTINUE READING