Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Negotiation as Concurrency Primitive II: Deterministic Cyclic
  Negotiations   We continue our study of negotations, a concurrency model with multiparty
negotiation as primitive. In a previous paper (arXiv:13072145) we have provided
a correct and complete set of reduction rules for sound, acyclic, and (weakly)
deterministic negotiations. In this paper we extend this result to all
deterministic negotiations, including cyclic ones. We also show that this set
of rules allows one to decide soundness and to summarize negotiations in
polynomial time.

7
The categories of this paper are: hep-th
16
The categories of this paper are: stat
11
The categories of this paper are: hep-lat
19
The categories of this paper are: eess
37
The categories of this paper are: supr-con
36
The categories of this paper are: cmp-lg
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
17
The categories of this paper are: q-fin
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci
13
The categories of this paper are: quant-ph
27
The categories of this paper are: comp-gas