Search

• < Previous
• 1
• Next >

---

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;]

---

Equational Reasonings in Wireless Network Gossip Protocols

Ruggero Lanotte ; Massimo Merro ; Simone Tini.

Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout large-scale networks. In this paper, we propose a compositional analysis technique to study formal probabilistic models of gossip protocols expressed in a simple probabilistic timed process&nbsp;[&hellip;]

---