scientific article; zbMATH DE number 6820293

DOI10.4230/LIPICS.ICALP.2016.104zbMath1388.68060arXiv1504.01130MaRDI QIDQ4598245

Joël Ouaknine, Maria Bruna, Stefan Kiefer, Radu Grigore, James Worrell

Publication date: 19 December 2017

Full work available at URL: https://arxiv.org/abs/1504.01130

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Lyapunov functionself-stabilizationexpected timerandomized protocols

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Randomized algorithms (68W20) Distributed algorithms (68W15)

This page was built for publication: