AI helps you reading Science
AI generates interpretation videos
AI extracts and analyses the key points of the paper to generate videos automatically
AI parses the academic lineage of this thesis
Modelling MAC-Layer Communications in Wireless Systems.
LOGICAL METHODS IN COMPUTER SCIENCE, no. 1 (2015)
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. Based on a reduction semantics for the calculus we define a contextual equivalence to compare the external behaviour of such wireless networks. Further, we cons...More
PPT (Upload PPT)