An Observational Theory for Mobile Ad Hoc Networks

DOI10.1016/J.ENTCS.2007.02.039zbMATH Open1316.68099OpenAlexW2020039862WikidataQ62041653 ScholiaQ62041653MaRDI QIDQ5262943FDOQ5262943

Authors: 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

Recommendations

• An observational theory for mobile ad hoc networks (full version)
• A percolation model of mobile ad-hoc networks
• A Calculus for Mobile Ad Hoc Networks
• A stochastic fluid model for an ad hoc mobile network
• Modeling and analyzing mobile ad hoc networks in Real-Time Maude

zbMATH Keywords

ad hoc networksbisimulationprocess calculistructural operational semantics

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)

Cites Work

• The Esterel synchronous programming language: Design, semantics, implementation
• Statecharts: a visual formalism for complex systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Calculi for synchrony and asynchrony
• A calculus of mobile processes. II
• Towards a calculus for wireless systems
• A framework for security analysis of mobile wireless networks
• On reduction-based process semantics
• Barbed bisimulation
• CONCUR 2005 – Concurrency Theory
• Bisimulations for a calculus of broadcasting systems
• Foundations of Software Science and Computation Structures
• An Observational Theory for Mobile Ad Hoc Networks
• A Prospectus for Mobile Broadcasting Systems

Cited In (11)

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

Uses Software

• Esterel

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

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