A process calculus for mobile ad hoc networks

DOI10.1016/j.scico.2009.07.008zbMath1192.68451OpenAlexW1990328104MaRDI QIDQ967528

Anu Singh, Scott A. Smolka, C. R. Ramakrishnan

Publication date: 29 April 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.07.008

zbMATH Keywords

bisimulationcongruencemobile ad hoc networksprocess calculi

Mathematics Subject Classification ID

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

Related Items (21)

Model checking mobile ad hoc networks ⋮ Mechanizing a process algebra for network protocols ⋮ Modelling and verifying the AODV routing protocol ⋮ Modeling and efficient verification of wireless ad hoc networks ⋮ Depletable channels: dynamics, behaviour, and efficiency in network design ⋮ Denotational and algebraic semantics for the CaIT calculus ⋮ Proofs about Network Communication: For Humans and Machines ⋮ A semantic theory of the Internet of things ⋮ A calculus of trustworthy ad hoc networks ⋮ Measuring security in IoT communications ⋮ A Calculus for Mobile Ad-hoc Networks with Static Location Binding ⋮ Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks ⋮ Unnamed Item ⋮ Modeling and analyzing mobile ad hoc networks in Real-Time Maude ⋮ A Timed Process Algebra for Wireless Networks with an Application in Routing ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ Characterising Testing Preorders for Broadcasting Distributed Systems ⋮ An observational theory for mobile ad hoc networks (full version) ⋮ Broadcast Psi-calculi with an Application to Wireless Protocols ⋮ Formal Analysis of Leader Election in MANETs Using Real-Time Maude ⋮ Analysis of mobile networks' protocols based on abstract state machine

Uses Software

• HOL/SPIN
• SPIN
• Uppaal
• MMC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A framework for security analysis of mobile wireless networks
• Parametric synchronizations in mobile nominal calculi
• A calculus of mobile processes. II
• On the decidability of process equivalences for the \(\pi\)-calculus
• Mobile ambients
• A Calculus for Mobile Ad Hoc Networks
• On the bisimulation proof method
• An Observational Theory for Mobile Ad Hoc Networks
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: A process calculus for mobile ad hoc networks