Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Linearizable Implementations Do Not Suffice for Randomized Distributed
  Computation   Linearizability is the gold standard among algorithm designers for deducing
the correctness of a distributed algorithm using implemented shared objects
from the correctness of the corresponding algorithm using atomic versions of
the same objects. We show that linearizability does not suffice for this
purpose when processes can exploit randomization, and we discuss the existence
of alternative correctness conditions.

36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
12
The categories of this paper are: nucl-th
22
The categories of this paper are: chao-dyn
17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
24
The categories of this paper are: dg-ga
4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
18
The categories of this paper are: econ
5
The categories of this paper are: gr-qc