Modelling MAC-Layer Communications in Wireless Systems

DOI10.2168/LMCS-11(1:18)2015zbMath1395.94007arXiv1411.0490OpenAlexW2762526501WikidataQ62041610 ScholiaQ62041610MaRDI QIDQ5246724

Andrea Cerone, Massimo Merro, Matthew C. B. Hennessy

Publication date: 22 April 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1411.0490

zbMATH Keywords

collisionsbarbed congruencetimed process calculibroadcast communicationwireless systemsextensional semantics

Mathematics Subject Classification ID

Communication theory (94A05) Other applications of logic (03B80)

Related Items (5)

Depletable channels: dynamics, behaviour, and efficiency in network design ⋮ A semantic theory of the Internet of things ⋮ A Calculus of Cyber-Physical Systems ⋮ Unnamed Item ⋮ A probabilistic calculus of cyber-physical systems

Uses Software

• Esterel

This page was built for publication: Modelling MAC-Layer Communications in Wireless Systems