A simple probabilistic broadcast language

@inproceedings{Cerone2012ASP,
  title={A simple probabilistic broadcast language},
  author={Andrea Cerone and Matthew Hennessy},
  year={2012}
}
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