Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Ensuring Liveness Properties of Distributed Systems: Open Problems   Often fairness assumptions need to be made in order to establish liveness
properties of distributed systems, but in many situations they lead to false
conclusions. This document presents a research agenda aiming at laying the
foundations of a theory of concurrency that is equipped to ensure liveness
properties of distributed systems without making fairness assumptions. This
theory will encompass process algebra, temporal logic and semantic models. The
agenda also includes the development of a methodology and tools that allow
successful application of this theory to the specification, analysis and
verification of realistic distributed systems. Contemporary process algebras
and temporal logics fail to make distinctions between systems of which one has
a crucial liveness property and the other does not, at least when assuming
justness, a strong progress property, but not assuming fairness. Setting up an
alternative framework involves giving up on identifying strongly bisimilar
systems, inventing new induction principles, developing new axiomatic bases for
process algebras and new congruence formats for operational semantics, and
creating matching treatments of time and probability. Even simple systems like
fair schedulers or mutual exclusion protocols cannot be accurately specified in
standard process algebras (or Petri nets) in the absence of fairness
assumptions. Hence the work involves the study of adequate language or model
extensions, and their expressive power.

9
The categories of this paper are: nlin
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
23
The categories of this paper are: solv-int
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
6
The categories of this paper are: astro-ph
10
The categories of this paper are: q-bio
37
The categories of this paper are: supr-con
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
31
The categories of this paper are: ao-sci