A timed calculus for wireless systems

Massimo Merro, Francesco Ballardin, Eleonora Sibilio. A timed calculus for wireless systems. Theoretical Computer Science, 412(47):6585-6611, 2011. [doi]

Abstract

Abstract is missing.