Hohberg, Bodo
[Author];
Reisig, Wolfgang
[Author];
Wu, Bixia
[Author]
;
Humboldt-Universität zu Berlin Institut für Informatik,
Humboldt-Universität zu Berlin
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung