A Prospectus for Mobile Broadcasting Systems

DOI10.1016/j.entcs.2005.12.096zbMath1316.68105OpenAlexW2004087430MaRDI QIDQ5262975

K. V. S. N. Prasad

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

zbMATH Keywords

process calculusbroadcast communicationethernetGALSprocess mobility

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Tree Process Calculus ⋮ An operational semantics for a calculus for wireless systems ⋮ 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

Cites Work

• Unnamed Item
• A framework for security analysis of mobile wireless networks
• Bisimulations for a calculus of broadcasting systems
• An application of co-inductive types in Coq: Verification of the alternating bit protocol
• Broadcast Calculus Interpreted in CCS upto Bisimulation

This page was built for publication: A Prospectus for Mobile Broadcasting Systems