Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards linking correctness conditions for concurrent objects and
  contextual trace refinement   Correctness conditions for concurrent objects describe how atomicity of an
abstract sequential object may be decomposed. Many different concurrent objects
and proof methods for them have been developed. However, arguments about
correctness are conducted with respect to an object in isolation. This is in
contrast to real-world practice, where concurrent objects are often implemented
as part of a programming language library (e.g., java.util.concurrent) and are
instantiated within a client program. A natural question to ask, then is: How
does a correctness condition for a concurrent object ensure correctness of a
client program that uses the concurrent object? This paper presents the main
issues that surround this question and provides some answers by linking
different correctness conditions with a form of trace refinement.

28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
8
The categories of this paper are: hep-ex
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys
12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
19
The categories of this paper are: eess
18
The categories of this paper are: econ
17
The categories of this paper are: q-fin
15
The categories of this paper are: nucl-ex