Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Putting Logic-Based Distributed Systems on Stable Grounds   In the Declarative Networking paradigm, Datalog-like languages are used to
express distributed computations. Whereas recently formal operational semantics
for these languages have been developed, a corresponding declarative semantics
has been lacking so far. The challenge is to capture precisely the amount of
nondeterminism that is inherent to distributed computations due to concurrency,
networking delays, and asynchronous communication. This paper shows how a
declarative, model-based semantics can be obtained by simply using the
well-known stable model semantics for Datalog with negation. We show that the
model-based semantics matches previously proposed formal operational semantics.

20
The categories of this paper are: acc-phys
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
28
The categories of this paper are: alg-geom
29
The categories of this paper are: funct-an
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
11
The categories of this paper are: hep-lat
33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
17
The categories of this paper are: q-fin
21
The categories of this paper are: adap-org