Squeezing streams and composition of self-stabilizing algorithms (Q6190178)
From MaRDI portal
scientific article; zbMATH DE number 7800276
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Squeezing streams and composition of self-stabilizing algorithms |
scientific article; zbMATH DE number 7800276 |
Statements
Squeezing streams and composition of self-stabilizing algorithms (English)
0 references
6 February 2024
0 references
Coq proof assistant
0 references
streams
0 references
coinduction
0 references
composition
0 references
distributed algorithm
0 references
self-stabilization
0 references
0 references
