Sort by: Order: Results:

Now showing items 1-1 of 1

  • Modelling probabilistic wireless networks 

    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 wireless networks, namely broadcast communication ...