zbMATH — the first resource for mathematics

Finite conjunctive nondeterminism. (English) Zbl 0649.03013
Concurrency and nets. Advances in Petri nets, 233-244 (1987).
[For the entire collection see Zbl 0624.00017.]
The authors suggest that the choice of combinators in process description languages should be governed by the logical properties they induce, and that they should be chosen so that the logical properties of the constructed process are easily inferred from those of its constituents. Further, the authors would like to develop an approach to the semantics of processes which reconciles the more usual denotational and operational semantics with logic.
Reviewer: S.Miura

03B70 Logic in computer science
03B45 Modal logic (including the logic of norms)
68N25 Theory of operating systems