Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A topological formal treatment for scenario-based software specification
  of concurrent real-time systems   Real-time systems are computing systems in which the meeting of their
requirements is vital for their correctness. Consequently, if the real-time
requirements of these systems are poorly understood and verified, the results
can be disastrous and lead to irremediable project failures at the early phases
of development. The present work addresses the problem of detecting deadlock
situations early in the requirements specification phase of a concurrent real
time system, proposing a simple proof-of-concepts prototype that joins
scenario-based requirements specifications and techniques based on topology.
The efforts are concentrated in the integration of the formal representation of
Message Sequence Chart scenarios into the deadlock detection algorithm of
Fajstrup et al., based on geometric and algebraic topology.

5
The categories of this paper are: gr-qc
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
4
The categories of this paper are: cond-mat
2
The categories of this paper are: math
13
The categories of this paper are: quant-ph
34
The categories of this paper are: chem-ph
23
The categories of this paper are: solv-int
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
26
The categories of this paper are: bayes-an
36
The categories of this paper are: cmp-lg
0
The categories of this paper are: hep-ph
18
The categories of this paper are: econ