Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reliable Restricted Process Theory   Malfunctions of a mobile ad hoc network (MANET) protocol caused by a
conceptual mistake in the protocol design, rather than unreliable
communication, can often be detected only by considering communication among
the nodes in the network to be reliable. In Restricted Broadcast Process
Theory, which was developed for the specification and verification of MANET
protocols, the communication operator is lossy. Replacing unreliable with
reliable communication invalidates existing results for this process theory. We
examine the effects of this adaptation on the semantics of the framework with
regard to the non-blocking property of communication in MANETs, the notion of
behavioral equivalence relation and its axiomatization. We illustrate the
applicability of our framework through a simple routing protocol. To prove its
correctness, we introduce a novel proof process, based on a precongruence
relation.

23
The categories of this paper are: solv-int
34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
15
The categories of this paper are: nucl-ex