A Timed Process Algebra for Wireless Networks

Emile Bres, Rob van Glabbeek, Peter Höfner

This paper proposes a timed process algebra for wireless networks, an extension of the Algebra for Wireless Networks. It combines treatments of local broadcast, conditional unicast…