A prospectus for mobile broadcasting systems

DOI10.1016/J.ENTCS.2005.12.096MaRDI QIDQ5262975zbMATH OpenOpenAlexFDO

Authors K. V. S. N. Prasad

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2005.12.096

zbMATH Keywords

broadcast communicationethernetGALSprocess calculusprocess 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)

Recommendations

• On the Power of Broadcasting in Mobile Computing
• Broadcasting buffering communication
• scientific article; zbMATH DE number 1390069
• Broadcast calculus interpreted in CCS upto bisimulation
• A calculus of mobile processes. I

Cites work

• A framework for security analysis of mobile wireless networks
• An application of co-inductive types in Coq: verification of the alternating bit protocol
• Bisimulations for a calculus of broadcasting systems
• Broadcast calculus interpreted in CCS upto bisimulation
• scientific article; zbMATH DE number 1390069 (Why is no real title available?)

Cited in

(7)

• Broadcasting buffering communication
• 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
• Formal methods for mobile ad hoc networks: a survey
• An operational semantics for a calculus for wireless systems

This page was built for publication: A prospectus for mobile broadcasting systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262975)