An observational theory for mobile ad hoc networks (full version)

DOI10.1016/J.IC.2007.11.010zbMATH Open1165.68052DBLPjournals/iandc/Merro09OpenAlexW2042562411WikidataQ62041649 ScholiaQ62041649MaRDI QIDQ1012124FDOQ1012124

Authors: Massimo Merro 

Publication date: 14 April 2009

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2007.11.010

Recommendations

• An Observational Theory for Mobile Ad Hoc Networks
• A process calculus for mobile ad hoc networks
• A calculus for mobile ad-hoc networks with static location binding
• A Calculus for Mobile Ad Hoc Networks
• A calculus of trustworthy ad hoc networks

zbMATH Keywords

bisimulationprocess calculusad hoc networklabelled transition semantics

Mathematics Subject Classification ID

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?)
• Calculi for synchrony and asynchrony
• A calculus of mobile processes. II
• Towards a calculus for wireless systems
• A Calculus for Mobile Ad Hoc Networks
• A framework for security analysis of mobile wireless networks
• A process calculus for mobile ad hoc networks
• The \(\pi\)-calculus: A theory of mobile processes
• On reduction-based process semantics
• Barbed bisimulation
• Title not available (Why is that?)
• 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

Cited In (18)

• Analysis of mobile networks' protocols based on abstract state machine
• The expressive power of monotonic parallel composition
• Mechanizing a process algebra for network protocols
• Reliable restricted process theory
• Modeling and analyzing mobile ad hoc networks in Real-Time Maude
• A process calculus for mobile ad hoc networks
• Equational reasoning on mobile ad hoc networks
• Broadcast psi-calculi with an application to wireless protocols
• A calculus for mobile ad-hoc networks with static location binding
• Modelling and verifying the AODV routing protocol
• A calculus of trustworthy ad hoc networks
• Modeling and efficient verification of wireless ad hoc networks
• UTP semantics of a calculus for mobile ad hoc networks
• A timed calculus for wireless systems
• Equational reasoning on ad hoc networks
• An Observational Theory for Mobile Ad Hoc Networks
• A semantic theory of the Internet of Things
• Depletable channels: dynamics, behaviour, and efficiency in network design

Uses Software

• Esterel

This page was built for publication: An observational theory for mobile ad hoc networks (full version)

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