A Calculus for Mobile Ad Hoc Networks

Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

Abstract

We suggest a Calculus for Mobile Ad Hoc Networks, CMAN. A node in a network is a process equipped with a location, it may communicate with other nodes using synchronous spatially oriented broadcast where only the current neighbors receive the message. Nodes may autonomously change their neighbor relationship and thereby change the network topology. We define a natural reduction semantics and strong and weak reduction congruences as well as a labeled transition semantics and prove strong and weak contextual bisimulation respectively to be sound and complete co-inductive characterizations of the corresponding reduction congruences. For the subset of connection closed networks we show a significantly simpler co-inductive characterization. Finally, we apply CMAN on a small example of a cryptographic routing protocol.
Original languageEnglish
Place of PublicationCopenhagen
PublisherIT-Universitetet i København
EditionTR-2007-98
Number of pages29
ISBN (Electronic)978-87-7949-154-0
Publication statusPublished - May 2007
Externally publishedYes
SeriesIT University Technical Report Series
NumberTR-2007-98
ISSN1600-6100

Fingerprint

Dive into the research topics of 'A Calculus for Mobile Ad Hoc Networks'. Together they form a unique fingerprint.

Cite this