Self-stabilization with causally synchronized wave on tree network

Veröffentlicht 1998

Optimization of service time and memory space in a self-stabilizing token circulation protocol on anonymous unidirectional rings

von Johnen, Colette
Veröffentlicht 2002

Analyse algorithmique des reseaux de Petri: verification d'escape d'accueil, systemes des reecriture

von Johnen, Colette
Veröffentlicht 1987

Self-stabilizing maximal matching under unfair scheduler

von Gradinariu, Maria
Veröffentlicht 2000

Construction efficace du graphe de couverture minimal : application à l'analyse de protocole

von Finkel, Alain
Veröffentlicht 1991

Analyze of randomized self-stabilizing algorithms under non-deterministic scheduler classes

von Beauquier, Joffroy
Veröffentlicht 2002

Computation of P-invariants for integers nets : application to the analysis of algebraic nets

von Johnen, Colette
Veröffentlicht 1991

The home state problem in transition systems

von Finkel, Alain
Veröffentlicht 1989

Route preserving stabilization

von Johnen, Colette
Veröffentlicht 2003

A space optimal, deterministic, self-stabilizing, leader election algorithm for unidirectional rings

von Fich, Faith E.
Veröffentlicht 2000

Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings

von Beauquier, Joffroy
Veröffentlicht 1999

Auto-stabilisation et protocoles réseau

von Johnen, Colette
Veröffentlicht 2003

Stabilization, Safety, and Security of Distributed Systems : 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, proceedings

Veröffentlicht 2021