Stochastic Restricted Broadcast Process Theory

被引：0
|
作者：
Ghassemi, Fatemeh [1 ,2 ]
Talebi, Mahmoud [1 ]
Movaghar, Ali [1 ,2 ]
Fokkink, Wan [3 ]
机构：
[1] Sharif Univ Technol, Tehran, Iran
[2] Inst Studies Theoret Phys & Mat, Tehran, Iran
[3] Vrije Univ Amsterdam, Amsterdam, Netherlands
来源：
COMPUTER PERFORMANCE ENGINEERING | 2011年 / 6977卷
关键词：
Ad hoc protocol; Cross layer performance evaluation; Stochastic process algebra; Markovian model;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：72 / +
页数：3
相关论文
共 50 条
  • [1] Restricted Broadcast Process Theory
    Ghassemi, Fatemeh
    Fokkink, Wan
    Movaghar, Ali
    SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 345 - +
  • [2] Reliable Restricted Process Theory
    Ghassemi, Fatemeh
    Fokkink, Wan
    FUNDAMENTA INFORMATICAE, 2019, 165 (01) : 1 - 41
  • [3] Cybernetic theory of the stochastic process
    Madan, S
    KYBERNETES, 1995, 24 (03) : 59 - &
  • [4] Stochastic Broadcast for VANET
    Slavik, Michael
    Mahgoub, Imad
    2010 7TH IEEE CONSUMER COMMUNICATIONS AND NETWORKING CONFERENCE-CCNC 2010, 2010, : 205 - 209
  • [5] Quantum Theory is a Quasi-stochastic Process Theory
    van de Wetering, John
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (266): : 179 - 196
  • [6] Restricted dynamic programming for broadcast scheduling
    Wang, S
    Chen, HL
    NETWORK CONTROL AND ENGINEERING FOR QOS, SECURITY AND MOBILITY, III, 2005, 165 : 139 - 150
  • [7] Molecular Synthesis for Probability Theory and Stochastic Process
    Ziyuan Shen
    Lulu Ge
    Wei Wei
    Jing Zhao
    Zaichen Zhang
    Xiaohu You
    Chuan Zhang
    Journal of Signal Processing Systems, 2018, 90 : 1479 - 1494
  • [8] Proof of two theorems on stochastic process theory
    Zhao, Shengbian
    Beifang Jiaotong Daxue Xuebao/Journal of Northern Jiaotong University, 1997, 21 (02): : 164 - 171
  • [9] ON STOCHASTIC EQUATIONS IN THEORY OF CONDITIONAL MARKOV PROCESS
    SHIRYAEV, AN
    THEORY OF PROBILITY AND ITS APPLICATIONS,USSR, 1966, 11 (01): : 179 - &
  • [10] THE CONJUGATE PROCESS IN STOCHASTIC-REALIZATION THEORY
    PAVON, M
    MATHEMATICAL PROGRAMMING STUDY, 1982, 18 (MAY): : 12 - 26
12345