Process logics, also called temporal logics, generally rely on an extension of modal logic often called Hennessy and Milner Logic (HML). In this paper, we show how HML modalities induce some semantic overloading of usual logic connectives. We build then a logic of processes that expresses better (deterministic) action choices and (non deterministic) execution choices. We prove that our logic is equivalent, in term of expressivity, to a strict extension of HML, though, in some sense, it still have the same discriminating power, i.e. under usual finiteness assumption, the logical indistinguishability coincides with a natural extension of the bisimulation equivalence.
CITATION STYLE
Janin, D. (1993). Some results about logical descriptions of non deterministic behaviours. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 761 LNCS, pp. 338–347). Springer Verlag. https://doi.org/10.1007/3-540-57529-4_67
Mendeley helps you to discover research relevant for your work.