An Observational Theory for Mobile Ad Hoc Networks
From MaRDI portal
Publication:5262943
DOI10.1016/j.entcs.2007.02.039zbMath1316.68099WikidataQ62041653 ScholiaQ62041653MaRDI QIDQ5262943
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.2007.02.039
68M10: Network design and communication in computer systems
68Q55: Semantics in the theory of computing
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, An operational semantics for a calculus for wireless systems, A process calculus for mobile ad hoc networks, An observational theory for mobile ad hoc networks (full version), Static analysis of topology-dependent broadcast networks, Model checking mobile ad hoc networks
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A framework for security analysis of mobile wireless networks
- Calculi for synchrony and asynchrony
- Statecharts: a visual formalism for complex systems
- The Esterel synchronous programming language: Design, semantics, implementation
- A calculus of mobile processes. II
- Bisimulations for a calculus of broadcasting systems
- On reduction-based process semantics
- Barbed bisimulation
- An Observational Theory for Mobile Ad Hoc Networks
- A Prospectus for Mobile Broadcasting Systems
- CONCUR 2005 – Concurrency Theory
- Foundations of Software Science and Computation Structures