Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Process Algebra for Link Layer Protocols   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.

26
The categories of this paper are: bayes-an
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph
28
The categories of this paper are: alg-geom
32
The categories of this paper are: atom-ph
34
The categories of this paper are: chem-ph
27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat
24
The categories of this paper are: dg-ga
17
The categories of this paper are: q-fin
9
The categories of this paper are: nlin
16
The categories of this paper are: stat
7
The categories of this paper are: hep-th
30
The categories of this paper are: q-alg