Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments   The first self-stabilizing algorithm [Dij73] assumed the existence of a
central daemon, that activates one processor at time to change state as a
function of its own state and the state of a neighbor. Subsequent research has
reconsidered this algorithm without the assumption of a central daemon, and
under different forms of communication, such as the model of link registers. In
all of these investigations, one common feature is the atomicity of
communication, whether by shared variables or read/write registers. This paper
weakens the atomicity assumptions for the communication model, proposing
versions of [Dij73] that tolerate various weaker forms of atomicity. First, a
solution for the case of regular registers is presented. Then the case of safe
registers is considered, with both negative and positive results presented. The
paper also presents an implementation of [Dij73] based on registers that have
probabilistically correct behavior, which requires a notion of weak
stabilization.

10
The categories of this paper are: q-bio
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin
15
The categories of this paper are: nucl-ex
19
The categories of this paper are: eess
13
The categories of this paper are: quant-ph
22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th
32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
23
The categories of this paper are: solv-int