Um Entwurf und Verifikation komplizierter verteilter Algorithmen leichter und verstandlicher zu machen, wird oft eine Verfeinerungsmethode verwendet. Dabei wird ein einfacher Algorithmus, der gewunschte Eigenschaften erfullt, schrittweise zu einem komplizierten Algorithmus verfeinert. In jedem Schritt sollen die gewunschten Eigenschaften erhalten bleiben. Fur nachrichtenbasierte verteilte Algorithmen hat die Autorin eine neue Verfeinerungsmethmode entwickelt. Begonnen wird mit einem Anfangsalgorithmus, der Aktionen enthalt, die gemeinsame Aufgaben mehrerer Agenten beschreiben. In jedem Schritt wird eine dieser Aktionen zu einem Netz verfeinert, das nur solche Aktionen enthalt, die die Aufgaben einzelner Agenten beschreiben. Jeder Schritt ist also eine Verteilung einer unverteilten Aktion. Die Analyse solcher Verfeinerungsschritte wird mit Hilfe eines neuen Verfeinerungsbegriffs -- der verteilenden Verfeinerung -- durchgefuhrt. Entscheidend dabei ist das Erhaltenbleiben der Halbordnungen des zu verfeinernden Algorithmus. Dies ist durch Kausalitaten der Aktionen der Agenten im lokalen Verfeinerungsnetz zu erreichen. Die Anwendung dieser neuen Methode wird an verschiedenen anschaulichen Beispielen demonstriert.