Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Robustness of a bisimulation-type faster-than preorder   TACS is an extension of CCS where upper time bounds for delays can be
specified. Luettgen and Vogler defined three variants of bismulation-type
faster-than relations and showed that they all three lead to the same preorder,
demonstrating the robustness of their approach. In the present paper, the
operational semantics of TACS is extended; it is shown that two of the variants
still give the same preorder as before, underlining robustness. An explanation
is given why this result fails for the third variant. It is also shown that
another variant, which mixes old and new operational semantics, can lead to
smaller relations that prove the same preorder.

21
The categories of this paper are: adap-org
2
The categories of this paper are: math
20
The categories of this paper are: acc-phys
12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc
27
The categories of this paper are: comp-gas
33
The categories of this paper are: plasm-ph
7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
29
The categories of this paper are: funct-an
32
The categories of this paper are: atom-ph