An Observational Theory for Mobile Ad Hoc Networks

DOI10.1016/J.ENTCS.2007.02.039zbMath1316.68099OpenAlexW2020039862WikidataQ62041653 ScholiaQ62041653MaRDI QIDQ5262943

Massimo Merro

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

zbMATH Keywords

structural operational semanticsbisimulationad hoc networksprocess calculi

Mathematics Subject Classification ID

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

Related Items (8)

Model checking mobile ad hoc networks ⋮ An operational semantics for a calculus for wireless systems ⋮ A Calculus for Mobile Ad-hoc Networks with Static Location Binding ⋮ A process calculus for mobile ad hoc networks ⋮ Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks ⋮ Static analysis of topology-dependent broadcast networks ⋮ An observational theory for mobile ad hoc networks (full version) ⋮ An Observational Theory for Mobile Ad Hoc Networks

Uses Software

• Esterel

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

This page was built for publication: An Observational Theory for Mobile Ad Hoc Networks