A formal semantics for concurrent systems with a priority relation

Theory of operating systems (68N25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

A formal semantics for the COSY path expressions with a priority relation is proposed. It turns out that in the general case the full aspects of behaviours of systems specified by such expressions cannot be modelled by vector firing sequences (a standard semantics for the case without priorities), although vector firing sequences (but without interpretation as causality relations) can correctly be extended for expressions with priorities, and some (but not all) aspects of behaviours, like deadlock- freeness and adequacy properties, can be defined in terms of vector firing sequences. To describe the behaviours of the COSY priority path expressions entirely, a new semantics, called the multiple firing sequence semantics, is introduced and some its properties are proved.

Recommendations

Cites work

Cited in

(14)

Describes a project that uses

Uses Software

This page was built for publication: A formal semantics for concurrent systems with a priority relation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1074338)