Synthesis of distributed algorithms with parameterized threshold guards (Q3300835)
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: Synthesis of distributed algorithms with parameterized threshold guards |
scientific article; zbMATH DE number 7226042
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Synthesis of distributed algorithms with parameterized threshold guards |
scientific article; zbMATH DE number 7226042 |
Statements
30 July 2020
0 references
fault-tolerant distributed algorithms
0 references
Byzantine faults
0 references
parameterized model checking
0 references
program synthesis
0 references
0 references
0 references
Synthesis of distributed algorithms with parameterized threshold guards (English)
0 references
0.8019644618034363
0 references
0.7868537902832031
0 references
0.7856370210647583
0 references
0.7826992869377136
0 references
0.7758604884147644
0 references
