Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Specifying Transaction Control to Serialize Concurrent Program
  Executions   We define a programming language independent transaction controller and an
operator which when applied to concurrent programs with shared locations turns
their behavior with respect to some abstract termination criterion into a
transactional behavior. We prove the correctness property that concurrent runs
under the transaction controller are serialisable. We specify the transaction
controller TaCtl and the operator TA in terms of Abstract State Machines. This
makes TaCtl applicable to a wide range of programs and in particular provides
the possibility to use it as a plug-in when specifying concurrent system
components in terms of Abstract State Machines.

17
The categories of this paper are: q-fin
18
The categories of this paper are: econ
5
The categories of this paper are: gr-qc
12
The categories of this paper are: nucl-th
3
The categories of this paper are: physics
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
26
The categories of this paper are: bayes-an
0
The categories of this paper are: hep-ph
23
The categories of this paper are: solv-int
37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph