Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Up-to Techniques for Branching Bisimilarity   Ever since the introduction of behavioral equivalences on processes one has
been searching for efficient proof techniques that accompany those
equivalences. Both strong bisimilarity and weak bisimilarity are accompanied by
an arsenal of up-to techniques: enhancements of their proof methods. For
branching bisimilarity, these results have not been established yet. We show
that a powerful proof technique is sound for branching bisimilarity by
combining the three techniques of up to union, up to expansion and up to
context for Bloom's BB cool format. We then make an initial proposal for
casting the correctness proof of the up to context technique in an abstract
coalgebraic setting, covering branching but also {\eta}, delay and weak
bisimilarity.

22
The categories of this paper are: chao-dyn
7
The categories of this paper are: hep-th
6
The categories of this paper are: astro-ph
33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
12
The categories of this paper are: nucl-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
31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg