Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sequential Composition in the Presence of Intermediate Termination
  (Extended Abstract)   The standard operational semantics of the sequential composition operator
gives rise to unbounded branching and forgetfulness when transparent process
expressions are put in sequence. Due to transparency, the correspondence
between context-free and pushdown processes fails modulo bisimilarity, and it
is not clear how to specify an always terminating half counter. We propose a
revised operational semantics for the sequential composition operator in the
context of intermediate termination. With the revised operational semantics, we
eliminate transparency, allowing us to establish a close correspondence between
context-free processes and pushdown processes. Moreover, we prove the reactive
Turing powerfulness of TCP with iteration and nesting with the revised
operational semantics for sequential composition.

3
The categories of this paper are: physics
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
5
The categories of this paper are: gr-qc
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys
7
The categories of this paper are: hep-th
16
The categories of this paper are: stat
27
The categories of this paper are: comp-gas
37
The categories of this paper are: supr-con
12
The categories of this paper are: nucl-th
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
21
The categories of this paper are: adap-org