Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Truly Concurrent Calculi with Reversibility, Probabilism and Guards   The well-known process algebras, such as CCS, ACP and $\pi$-calculus, capture
the interleaving concurrency based on bisimilarity semantics. We did some work
on truly concurrent process algebras, such as CTC, APTC and $\pi_{tc}$, capture
the true concurrency based on truly concurrent bisimilarities, such as pomset
bisimilarity, step bisimilarity, history-preserving (hp-) bisimilarity and
hereditary history-preserving (hhp-) bisimilarity. Truly concurrent process
algebras are generalizations of the corresponding traditional process algebras.
In this book, we introduce reversibility, probabilism, and guards into truly
concurrent calculus CTC.

5
The categories of this paper are: gr-qc
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
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
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
36
The categories of this paper are: cmp-lg
25
The categories of this paper are: patt-sol
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph