We propose AWN (Algebra for Wireless Networks), a process algebra tailored to the
modelling of Mobile Ad hoc Network (MANET) and Wireless Mesh Network (WMN) …

Gorrieri and Martinelli's timed Generalized Non-Deducibility on Compositions (tGNDC)
schema is a well-known general framework for the formal verification of security protocols in …

A main challenge in the design of wireless-based Cyber-Physical Systems consists in
balancing the need for security and the effect of broadcast communication with the limited …

We propose a probabilistic, energy-aware, broadcast calculus for the analysis of mobile ad-
hoc networks. The semantics of our model is expressed in terms of Segala's probabilistic …

Connectivity and communication interference are two key aspects in mobile ad-hoc
networks (MANETs). We propose a process algebraic model targeted at the analysis of both …

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 …

The performance and reliability of wireless network protocols heavily depend on the network
and its environment. In wireless networks node mobility can affect the overall performance …

Connectivity and communication interference are two key aspects in mobile ad-hoc
networks (MANETs). This paper proposes a process algebraic model targeted at the …

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 …

We propose a comprehensive framework for the management and the exchange of (semi)
structured Web data, described according to a variety of formats and models. We consider …