Fairness and related properties in transition systems - a temporal logic to deal with fairness (Q1166926)
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: Fairness and related properties in transition systems - a temporal logic to deal with fairness |
scientific article; zbMATH DE number 3770933
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fairness and related properties in transition systems - a temporal logic to deal with fairness |
scientific article; zbMATH DE number 3770933 |
Statements
Fairness and related properties in transition systems - a temporal logic to deal with fairness (English)
0 references
1983
0 references
unfairness
0 references
classes of events
0 references
fair reachability
0 references
branching time logic
0 references
temporal operators
0 references
modalities
0 references
absence of livelock
0 references
absence of starvation
0 references
finite delay property
0 references
