On Certifying Distributed Algorithms: Problem of Local Correctness

Abstract

Abbildung 5.1 Im oberen Teil des Bildes ist ein Netzwerk N mit der Komponente v und ihren Nachbarn u 1 , u 2 und u 3 zu sehen. Im unteren Teil des Bildes ist die Ausführung eines verteilten Algorithmus aus der Sicht der Komponente v dargestellt. Die Kommunikation der Komponente v mit ihren Nachbarn während der Ausführung des Teilalgorithmus ist durch ein-und ausgehende Pfeile dargestellt. Diese können einem beliebigen Muster folgen. . . . . . . . . . . . . Abbildung 5.2 Teileingabe und Teilausgabe am Beispiel eines Leader-Election-Algorithmus. In diesem Fall ist die Komponente b der eindeutig gewählte