An investigation of controls for concurrent systems based on abstract control languages (Q1060008)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An investigation of controls for concurrent systems based on abstract control languages
scientific article

    Statements

    An investigation of controls for concurrent systems based on abstract control languages (English)
    0 references
    1985
    0 references
    The behaviour of the controlled system determines the control. This concise statement summarizes our approach to the investigation of controls. Using abstract languages to define the behaviour and subbehaviour of a system, and therewith the behaviour of the uncontrolled and of the controlled system, we are able to describe and to study different types of control rules and properties to be realized by control like deadlock avoidance, liveness and fairness.
    0 references
    0 references
    abstract control languages
    0 references
    concurrent systems
    0 references
    controlled system
    0 references
    deadlock avoidance
    0 references
    liveness
    0 references
    fairness
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references