An investigation of controls for concurrent systems based on abstract control languages (Q1060008)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An investigation of controls for concurrent systems based on abstract control languages |
scientific article; zbMATH DE number 3905840
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An investigation of controls for concurrent systems based on abstract control languages |
scientific article; zbMATH DE number 3905840 |
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
