We propose a process algebra for wireless mesh networks that combines novel treatments
of local broadcast, conditional unicast and data structures. In this framework, we model the …

This paper presents a formal specification of the Ad hoc On-demand Distance Vector
(AODV) routing protocol using AWN (Algebra for Wireless Networks), a recent process …

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

Psi-calculi is a parametric framework for the extensions of pi-calculus, with arbitrary data
structures and logical assertions for facts about data. In this paper we add primitives for …

Modeling and analyzing mobile ad hoc networks (MANETs) pose non-trivial challenges to
formal methods. Time, geometry, communication delays and failures, mobility, and uni-and …

This paper analyzes the reflections of an agile team, developing a large-scale project in an
industry setting. The team uses an iteration summary meeting practice, which includes four …

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

Wireless ad hoc networks, in particular mobile ad hoc networks (MANETs), are growing very
fast as they make communication easier and more available. However, their protocols tend …

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 …

In this paper we present a probabilistic broadcast calculus for mobile and wireless networks
whose connections are unreliable. In our calculus, broadcasted messages can be lost with a …