2001-07-03Dissertation
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Peuker, Sibylle
In dieser Arbeit geht es um die schrittweise Verfeinerung verteilter Algorithmen. Dabei wird ein einfacher Algorithmus, der einige gewünschte Eigenschaften hat, Schritt für Schritt zu einem komplexen Algorithmus verfeinert, ...