Modelling MAC-Layer Communications in Wireless Systems - Cerone, Andrea; Hennessy, Matthew; Merro, Massimo (arXiv.org, 2015)
Keywords: Computer Science - Logic in Computer Science; Equivalence; Modelling; Semantics; Stations; Transportation networks; Wireless communications; Wireless networks