A Process Algebraic Description of a Temporal Wireless Network Protocol

Colm Bhandal, Mélanie Bouroche, Arthur Hughes. A Process Algebraic Description of a Temporal Wireless Network Protocol. ECEASST, 45, 2011. [doi]

Abstract

Abstract is missing.