Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Generating Witness of Non-Bisimilarity for the pi-Calculus   In the logic programming paradigm, it is difficult to develop an elegant
solution for generating distinguishing formulae that witness the failure of
open-bisimilarity between two pi-calculus processes; this was unexpected
because the semantics of the pi-calculus and open bisimulation have already
been elegantly specified in higher-order logic programming systems. Our
solution using Haskell defines the formulae generation as a tree transformation
from the forest of all nondeterministic bisimulation steps to a pair of
distinguishing formulae. Thanks to laziness in Haskell, only the necessary
paths demanded by the tree transformation function are generated. Our work
demonstrates that Haskell and its libraries provide an attractive platform for
symbolically analyzing equivalence properties of labeled transition systems in
an environment sensitive setting.

37
The categories of this paper are: supr-con
20
The categories of this paper are: acc-phys
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
14
The categories of this paper are: math-ph
29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ
15
The categories of this paper are: nucl-ex
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph