Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Evaluating the Efficiency of Asynchronous Systems with FASE   In this paper, we present FASE (Faster Asynchronous Systems Evaluation), a
tool for evaluating the worst-case efficiency of asynchronous systems. The tool
is based on some well-established results in the setting of a timed process
algebra (PAFAS: a Process Algebra for Faster Asynchronous Systems). To show the
applicability of FASE to concrete meaningful examples, we consider three
implementations of a bounded buffer and use FASE to automatically evaluate
their worst-case efficiency. We finally contrast our results with previous ones
where the efficiency of the same implementations has already been considered.

31
The categories of this paper are: ao-sci
7
The categories of this paper are: hep-th
18
The categories of this paper are: econ
21
The categories of this paper are: adap-org
17
The categories of this paper are: q-fin
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex
36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga
14
The categories of this paper are: math-ph
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
6
The categories of this paper are: astro-ph