Broadcast Abstraction in a Stochastic Calculus for Mobile Networks

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Abstrakt

    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.
    OriginalsprogEngelsk
    TitelTheoretical Computer Science : Proceedings of the 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012
    Antal sider15
    Vol/bind4604
    ForlagSpringer
    Publikationsdatosep. 2012
    Sider342-356
    ISBN (Trykt) 978-3-642-33474-0
    StatusUdgivet - sep. 2012
    BegivenhedIFIP Theoretical Computer Science 2012 - Amsterdam, Holland
    Varighed: 26 sep. 201228 sep. 2012
    http://tcs.project.cwi.nl/Organization

    Konference

    KonferenceIFIP Theoretical Computer Science 2012
    Land/OmrådeHolland
    ByAmsterdam
    Periode26/09/201228/09/2012
    Internetadresse
    NavnLecture Notes in Computer Science
    Vol/bind4604

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Broadcast Abstraction in a Stochastic Calculus for Mobile Networks'. Sammen danner de et unikt fingeraftryk.

    Citationsformater