Termination in finite mean time of a CSMA/CA rule-based model - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Other Publications Year : 2006

Termination in finite mean time of a CSMA/CA rule-based model

Abstract

In a recent work, we introduced the notion of probabilistic rewrite system, and we proposed techniques to prove termination of such systems in finite mean time. In this paper, we model with probabilistic rewrite rules a WI-FI stations network running the CSMA/CA 802.11b protocol. Following this model and using the previously proposed framework, we prove that the protocol terminates in a finite mean time.

Domains

Other [cs.OH]
No file

Dates and versions

inria-00000774 , version 1 (27-11-2006)

Identifiers

  • HAL Id : inria-00000774 , version 1

Cite

Olivier Bournez, Florent Garnier, Claude Kirchner. Termination in finite mean time of a CSMA/CA rule-based model. 2006. ⟨inria-00000774⟩
47 View
0 Download

Share

Gmail Facebook X LinkedIn More