Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen

Die Entwicklung geeigneter Transferprotokolle ist eine wesentliche Aufgabe in der Hochleistungskommunikation. Wegen ihrer hohen Komplexität ist jedoch der Entwurf der Protokolle schwierig und führt häufig zu fehlerhaften Implementierungen.