Search

• < Previous
• 1
• Next >

---

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 wireless networks, namely broadcast communication and probabilistic behaviour. We first focus on the problem of composing&nbsp;[&hellip;]

---

Modelling MAC-Layer Communications in Wireless Systems

Andrea Cerone ; Matthew Hennessy ; Massimo Merro.

We present a timed process calculus for modelling wireless networks in which individual stations broadcast and receive messages; moreover the broadcasts are subject to collisions. Based on a reduction semantics for the calculus we define a contextual equivalence to compare the external behaviour of&nbsp;[&hellip;]

---