9 citations · 22 across the 10 of their papers we have counts for
1 paper · 1 filter
Andrea Cerone, Matthew Hennessy, Massimo Merro
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.…