A Prospectus for Mobile Broadcasting Systems
From MaRDI portal
Publication:5262975
DOI10.1016/j.entcs.2005.12.096zbMath1316.68105MaRDI QIDQ5262975
Publication date: 10 July 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2005.12.096
68M10: Network design and communication in computer systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A Calculus for Mobile Ad-hoc Networks with Static Location Binding, Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks, An Observational Theory for Mobile Ad Hoc Networks, Tree Process Calculus, An operational semantics for a calculus for wireless systems
Cites Work