A Calculus for Mobile Ad Hoc Networks

DOI10.1007/978-3-540-72794-1_8MaRDI QIDQ3634642zbMATH OpenOpenAlexFDO

Authors Jens Chr. Godskesen

Publication date 25 June 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72794-1_8

Mathematics Subject Classification ID

Network protocols (68M12) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cryptography (94A60)

Recommendations

• A calculus for mobile ad-hoc networks with static location binding
• scientific article; zbMATH DE number 1949603
• A process calculus for mobile ad hoc networks
• A calculus for power-aware multicast communications in ad hoc networks
• Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
• UTP semantics of a calculus for mobile ad hoc networks
• Towards a calculus for wireless systems
• Algebraic modeling of an ad hoc network for mobile computing
• A calculus of trustworthy ad hoc networks

Cited in

(27)

• An observational theory for mobile ad hoc networks (full version)
• An algebraic verification of a mobile network
• Modeling and efficient verification of wireless ad hoc networks
• A semantic theory of the Internet of Things
• UTP semantics of a calculus for mobile ad hoc networks
• Model checking mobile ad hoc networks
• Depletable channels: dynamics, behaviour, and efficiency in network design
• Mechanizing a process algebra for network protocols
• Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
• Equational reasoning on mobile ad hoc networks
• Broadcast psi-calculi with an application to wireless protocols
• A calculus for power-aware multicast communications in ad hoc networks
• Probabilistic mobility models for mobile and wireless networks
• Modelling and verifying the AODV routing protocol
• scientific article; zbMATH DE number 1951191 (Why is no real title available?)
• Equational reasonings in wireless network gossip protocols
• A calculus of trustworthy ad hoc networks
• 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
• Reliable restricted process theory
• Verification of mobile ad hoc networks: an algebraic approach
• A timed calculus for wireless systems
• Formal methods for mobile ad hoc networks: a survey
• Modeling and analyzing mobile ad hoc networks in Real-Time Maude
• An operational semantics for a calculus for wireless systems
• A process calculus for mobile ad hoc networks

This page was built for publication: A Calculus for Mobile Ad Hoc Networks

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