Home > Verimag > Publications

Technical Reports

Fabienne Carrier, Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
Self-Stabilizing (f,g)-Alliances with Safe Convergence (2012)

TR-2012-19.pdf

Keywords: Distributed Systems, Self-Stabilization, Safe Convergence, (f,g)-Alliance, Unfair Daemon.

Abstract:

New publications

Some Recent Publications
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit: Self-stabilizing Systems in Spite of High Dynamics
- David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel: Testing a Formally Verified Compiler
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Self-stabilizing Synchronous Unison in Directed Networks
- Gaëlle Walgenwitz, Benjamin Wack: Retour d'expérience -- modélisation par des automates d'un objet concret, le flexagone

Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4183786

UGA

CNRS

INP Grenoble