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
abstract control languages
0 references
concurrent systems
0 references
controlled system
0 references
deadlock avoidance
0 references
liveness
0 references
fairness
0 references