A model of actors and grey failures (Q6137831)
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: A model of actors and grey failures |
scientific article; zbMATH DE number 7788985
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7452101707458496
0 references
0.7360247373580933
0 references
0.720841646194458
0 references
