Loading...

Stochastic restricted broadcast process theory

Ghassemi, F ; Sharif University of Technology

1044 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/978-3-642-24749-1_7
  3. Abstract:
  4. We provide a framework for modeling and analyzing both qualitative and quantitative aspects of mobile ad hoc network (MANET) protocols above the data-link layer. We extend Restricted Broadcast Process Theory [11,9]: delay functions are assigned to actions, while the semantics captures the interplay of a MANET protocol with stochastic behavior of the data-link and physical layer, and the dynamic topology. A continuous-time Markov chain is derived from our semantic model by resolving non-determinism, using the notion of weak Markovian network bisimilarity. The framework is applied to a leader election algorithm
  5. Keywords:
  6. Ad hoc protocol ; Cross layer performance evaluation ; Markovian model ; Stochastic process algebra ; Ad hoc protocols ; Bisimilarity ; Continuous time Markov chain ; Cross layer ; Data link layer ; Delay function ; Dynamic topologies ; Leader election algorithm ; Markovian ; Non-determinism ; Physical layers ; Process theory ; Semantic Model ; Stochastic behavior ; Stochastic process algebras ; Markov processes ; Mobile ad hoc networks ; Network layers ; Semantics ; Technical presentations ; Stochastic systems
  7. Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; Volume 6977 LNCS , 2011 , Pages 72-86 ; 03029743 (ISSN) ; 9783642247484 (ISBN)
  8. URL: http://link.springer.com/chapter/10.1007%2F978-3-642-24749-1_7