A Distributed Algorithm of Fault Recovery for Stateful Failover (Q5425486)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5211418
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Distributed Algorithm of Fault Recovery for Stateful Failover |
scientific article; zbMATH DE number 5211418 |
Statements
A Distributed Algorithm of Fault Recovery for Stateful Failover (English)
0 references
13 November 2007
0 references
distributed algorithm
0 references
stateful failover
0 references
verification of programs
0 references
SPIN model checker
0 references
0.6773960590362549
0 references
0.6750429272651672
0 references
0.6603138446807861
0 references
0.6598331928253174
0 references
