A Process Algebra for Link Layer Protocols

@inproceedings{Glabbeek2019APA,
  title={A Process Algebra for Link Layer Protocols},
  author={Rob J. van Glabbeek and Peter H{\"o}fner and Michael Markl},
  booktitle={ESOP},
  year={2019}
}
  • Rob J. van Glabbeek, Peter Höfner, Michael Markl
  • Published in ESOP 2019
  • Computer Science
  • We propose a process algebra for link layer protocols, featuring a unique mechanism for modelling frame collisions. We also formalise suitable liveness properties for link layer protocols specified in this framework. To show applicability we model and analyse two versions of the Carrier-Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol. Our analysis confirms the hidden station problem for the version without virtual carrier sensing. However, we show that the version with virtual… CONTINUE READING

    Figures, Tables, and Topics from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 25 REFERENCES

    A Process Algebra for Wireless Mesh Networks

    VIEW 12 EXCERPTS

    Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC

    VIEW 2 EXCERPTS

    Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol

    • Matthias Fruth
    • Computer Science
    • Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)
    • 2006