Finite conjunctive nondeterminism. (English) Zbl 0649.03013

Hennessy, M.; Plotkin, G.

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

MSC:

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

Keywords:

liveness logic; safety logic; conjunctive nondeterminism; indistinguishability by tests; choice of combinators; process description languages; semantics of processes

Citations:

Zbl 0624.00017