Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Full abstraction for fair testing in CCS   In previous work with Pous, we defined a semantics for CCS which may both be
viewed as an innocent presheaf semantics and as a concurrent game semantics. It
is here proved that a behavioural equivalence induced by this semantics on CCS
processes is fully abstract for fair testing equivalence. The proof relies on a
new algebraic notion called playground, which represents the 'rule of the
game'. From any playground, two languages, equipped with labelled transition
systems, are derived, as well as a strong, functional bisimulation between
them.

19
The categories of this paper are: eess
9
The categories of this paper are: nlin
35
The categories of this paper are: mtrl-th
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
5
The categories of this paper are: gr-qc
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph
18
The categories of this paper are: econ