In Search of a Compositional Theory of Self-Stabilization

Automated excerpt

This makes $\lambda(L) = \lfloor (L-6)/2 \rfloor$, which gives us: if the queue is at most... ... I send at most this many retries The old contract is still in there, as the top row: $\lambda(6)=0$ says "queue under 6 means at most zero retries". Two fresh served cancels the two arrivals exactly. If you add one item to this queue, how much bump would it cause for the other queue next round?

Selected automatically from source text; not independently written or fact-checked. Read the original for full context.