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 …

In this paper we propose a process calculus framework for dynamic networks in which the
network topology may change as computation proceeds. The proposed calculus allows one …

Abstract We introduced Computed Network Process Theory to reason about protocols for
mobile ad hoc networks (MANETs). Here we explore the applicability of our framework in …

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 present a timed broadcast process calculus for wireless networks at the MAC-sublayer
where time-dependent communications are exposed to collisions. We define a reduction …

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 …

We provide a framework for modeling and analyzing both qualitative and quantitative
aspects of mobile ad hoc network (MANET) protocols above the data-link layer. We extend …

Gorrieri and Martinelli's tGNDC is a general framework for the formal verification of security
protocols in a concurrent scenario. We generalise their tGNDC schema to verify wireless …