A calculus for mobile network systems

DOI10.1007/3-540-36103-0_25MaRDI QIDQ4412501zbMATH OpenFDO

Authors Jinfeng Huang, Ad Verschueren, Henri Aalderink, Johan J. Lukkien

Publication date 15 July 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950226.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• A process calculus for mobile ad hoc networks
• A calculus of mobile processes. I
• On mobility and communication
• Probabilistic mobility models for mobile and wireless networks
• An algebraic verification of a mobile network

Cited in

(8)

• An algebraic verification of a mobile network
• A coordination approach to mobile components
• \textsf{Tarzan}: communicating and moving in wireless jungles
• Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
• Probabilistic mobility models for mobile and wireless networks
• A Calculus for Mobile Ad Hoc Networks
• A calculus of quality for robustness against unreliable communication
• Making components move: a separation of concerns approach.

This page was built for publication: A calculus for mobile network systems

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