Broadcast Abstraction in a Stochastic Calculus for Mobile Networks

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Abstract

We introduce a continuous time stochastic broadcast calculus for mobile and wireless networks. The mobility between nodes in a network is modeled by a stochastic mobility function which allows to change part of a network topology depending on an exponentially distributed delay and a network topology constraint. We allow continuous time stochastic behavior of processes running at network nodes, e.g. in order to be able to model randomized protocols. The introduction of group broadcast and an operator to help avoid flooding allows us to define a novel notion of broadcast abstraction. Finally, we define a weak bisimulation congruence and apply our theory on an example of a leader election protocol.
Original languageEnglish
Title of host publicationTheoretical Computer Science : Proceedings of the 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012
Number of pages15
Volume4604
PublisherSpringer
Publication dateSept 2012
Pages342-356
ISBN (Print) 978-3-642-33474-0
Publication statusPublished - Sept 2012
EventIFIP Theoretical Computer Science 2012 - Amsterdam, Netherlands
Duration: 26 Sept 201228 Sept 2012
http://tcs.project.cwi.nl/Organization

Conference

ConferenceIFIP Theoretical Computer Science 2012
Country/TerritoryNetherlands
CityAmsterdam
Period26/09/201228/09/2012
Internet address
SeriesLecture Notes in Computer Science
Volume4604
ISSN0302-9743

Keywords

  • Stochastic Calculus
  • Broadcast Abstraction
  • Mobility

Fingerprint

Dive into the research topics of 'Broadcast Abstraction in a Stochastic Calculus for Mobile Networks'. Together they form a unique fingerprint.

Cite this