A calculus for mobile ad-hoc networks with static location binding
From MaRDI portal
Publication:5170671
DOI10.1016/J.ENTCS.2009.06.018zbMATH Open1291.68286OpenAlexW2047588704MaRDI QIDQ5170671FDOQ5170671
Authors: Jens Chr. Godskesen 
Publication date: 23 July 2014
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.2009.06.018
Recommendations
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- A calculus of mobile processes. II
- Mobile values, new names, and secure communication
- Towards a calculus for wireless systems
- A Calculus for Mobile Ad Hoc Networks
- A framework for security analysis of mobile wireless networks
- A process calculus for mobile ad hoc networks
- Mobile ambients
- Title not available (Why is that?)
- An Observational Theory for Mobile Ad Hoc Networks
- A prospectus for mobile broadcasting systems
Cited In (9)
- Verification of mobile ad hoc networks: an algebraic approach
- A process calculus for mobile ad hoc networks
- An observational theory for mobile ad hoc networks (full version)
- A calculus of trustworthy ad hoc networks
- Modeling and efficient verification of wireless ad hoc networks
- UTP semantics of a calculus for mobile ad hoc networks
- A timed calculus for wireless systems
- A calculus for power-aware multicast communications in ad hoc networks
- A Calculus for Mobile Ad Hoc Networks
This page was built for publication: A calculus for mobile ad-hoc networks with static location binding
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5170671)
