#parametric assume-guarantee

1 story

#compositional theory #metastability #queue #retry storm #self-stabilization #stabilization #startups #technology

Self-Stabilization Theory
A compositional theory of self-stabilization for metastable systems.
Blogspot · 2m