Paper Info
Title
A Process Algebra for Link Layer Protocols.
Abstract
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 carrier sensing not only overcomes this problem, but also the exposed station problem with probability 1. Yet the protocol cannot guarantee packet delivery, not even with probability 1.
Year
DOI
Venue
2019
10.1007/978-3-030-17184-1_24
ESOP
Field
DocType
ISSN
Computer science,Network packet,Computer network,Collision,Link layer,Process calculus,Distributed computing,Liveness
Conference
Proc. 28th European Symposium on Programming, ESOP'19, (L. Caires, ed.), LNCS 11423, Springer, 2019, pp. 668-693
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Rob J. van Glabbeek11930134.34
Peter Höfner239127.80
Michael Markl3142.70