Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the Definition of Non-deterministic Mechanisms   We present here three different approaches to the problem of modeling
mathematically the concept of a non-deterministic mechanism. Each of these
three approaches leads to a mathematical definition. We then show that all the
three mathematical concepts are equivalent to one another. This insight gives
us the option of approaching the wp-formalism of Dijkstra from a different
viewpoint that is easier to understand and to teach.

35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
19
The categories of this paper are: eess
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
25
The categories of this paper are: patt-sol
28
The categories of this paper are: alg-geom
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
8
The categories of this paper are: hep-ex
31
The categories of this paper are: ao-sci
9
The categories of this paper are: nlin
5
The categories of this paper are: gr-qc