A model of actors and grey failures (Q6137831)
From MaRDI portal
scientific article; zbMATH DE number 7788985
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A model of actors and grey failures |
scientific article; zbMATH DE number 7788985 |
Statements
A model of actors and grey failures (English)
0 references
16 January 2024
0 references
actor system
0 references
asynchronous process calculus
0 references
behavioural equivalence
0 references
barbed bisimulation
0 references
fail-stop
0 references
failure injection
0 references
grey failure
0 references
recovery
0 references