An Observational Theory for Mobile Ad Hoc Networks

DOI10.1016/j.entcs.2007.02.039zbMath1316.68099WikidataQ62041653 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 semantics; bisimulation; ad hoc networks; process calculi

Mathematics Subject Classification ID

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

• 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