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) …

We propose a timed broadcasting process calculus for wireless systems where time-
consuming communications are exposed to collisions. The operational semantics of our …

A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the
fact that the number of network topologies grows exponentially with the square of the …

We propose a timed process calculus for wireless systems, paying attention in modelling
communication collisions. The operational semantics of our calculus is given in terms of a …

We provide an equational theory for Restricted Broadcast Process Theory to reason about
ad hoc networks. We exploit an extended algebra called Computed Network Theory to …

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 for mobile ad hoc networks which relies on an abstract
behaviour-based multilevel trust model. The operational semantics of the calculus is given in …

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 …

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 …