The semantics of priority and fairness in occam (Q5887515)
From MaRDI portal
scientific article; zbMATH DE number 7673901
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The semantics of priority and fairness in occam |
scientific article; zbMATH DE number 7673901 |
Statements
The semantics of priority and fairness in occam (English)
0 references
12 April 2023
0 references
operational semantic
0 references
component process
0 references
concurrent process
0 references
process initiative
0 references
strong fairness
0 references
