Modelling Probabilistic Wireless Networks
From MaRDI portal
Publication:2848371
DOI10.2168/LMCS-9(3:26)2013zbMath1274.68225arXiv1309.4693OpenAlexW2174921354MaRDI QIDQ2848371
Andrea Cerone, Matthew C. B. Hennessy
Publication date: 26 September 2013
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1309.4693
Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)
Related Items (2)
Depletable channels: dynamics, behaviour, and efficiency in network design ⋮ Characterising Testing Preorders for Broadcasting Distributed Systems
This page was built for publication: Modelling Probabilistic Wireless Networks