Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Indefinite waitings in MIRELA systems   MIRELA is a high-level language and a rapid prototyping framework dedicated
to systems where virtual and digital objects coexist in the same environment
and interact in real time. Its semantics is given in the form of networks of
timed automata, which can be checked using symbolic methods. This paper shows
how to detect various kinds of indefinite waitings in the components of such
systems. The method is experimented using the PRISM model checker.

25
The categories of this paper are: patt-sol
2
The categories of this paper are: math
0
The categories of this paper are: hep-ph
29
The categories of this paper are: funct-an
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int