Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An ASM-based Characterization of Starvation-free Systems   Abstract State Machines (ASMs) have been successfully applied for modeling
critical and complex systems in a wide range of application domains. However,
unlike other well-known formalisms, e.g. Petri nets, ASMs lack inherent,
domain-independent characterisations of computationally important properties.
Here, we provide an ASM-based characterisation of the starvation-free property.
The classic, informal notion of starvation, usually provided in literature, is
analysed and expressed as a necessary condition in terms of ASMs. Thus, we
enrich the ASM framework with the notion of vulnerable rule as a practical tool
for analysing starvation issues in an operational fashion

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
23
The categories of this paper are: solv-int
7
The categories of this paper are: hep-th
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
26
The categories of this paper are: bayes-an
0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin
19
The categories of this paper are: eess
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys