An Observational Theory for Mobile Ad Hoc Networks

DOI10.1016/J.ENTCS.2007.02.039MaRDI QIDQ5262943zbMATH OpenOpenAlexWikidataFDO

Authors Massimo Merro

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2007.02.039

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)

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

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A calculus of mobile processes. II
• A framework for security analysis of mobile wireless networks
• A prospectus for mobile broadcasting systems
• An Observational Theory for Mobile Ad Hoc Networks
• Barbed bisimulation
• Bisimulations for a calculus of broadcasting systems
• CONCUR 2005 – Concurrency Theory
• Calculi for synchrony and asynchrony
• Foundations of Software Science and Computation Structures
• On reduction-based process semantics
• Statecharts: a visual formalism for complex systems
• The Esterel synchronous programming language: Design, semantics, implementation
• Towards a calculus for wireless systems

Cited in

(12)

• Verification of correspondence assertions in a calculus for mobile ad hoc networks
• 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
• A calculus for mobile ad-hoc networks with static location binding
• Static analysis of topology-dependent broadcast networks
• A calculus of trustworthy ad hoc networks
• An operational semantics for a calculus for wireless systems
• Equational reasoning on ad hoc networks
• Model checking mobile ad hoc networks
• An Observational Theory for Mobile Ad Hoc Networks

Describes a project that uses

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)