Das Buch "Principles of Protocol Design" bietet eine umfassende Einführung in die grundlegenden Prinzipien, die bei der Konstruktion moderner Datenkommunikationsprotokolle verwendet werden. Der Autor, Robin Sharp, verfolgt einen formalen Ansatz, der auf der Beschreibung von Protokollen in der CSP-Notation basiert. Diese Methode ermöglicht es, Protokolle prägnant darzustellen und deren interessante Eigenschaften zu analysieren sowie bestimmte Aspekte ihrer Korrektheit im Hinblick auf geeignete Spezifikationen formal zu beweisen. Nach der Erörterung der grundlegenden Prinzipien werden konkrete Protokolle betrachtet, die diese Prinzipien nutzen. Diese vollständig überarbeitete Auflage des Buches, die erstmals 1994 veröffentlicht wurde, reflektiert die Entwicklungen in der Computer-Netzwerktechnologie und den verteilten Systemen der letzten Jahre. Die im Buch verwendeten Begriffe und Konzepte des OSI-Referenzmodells sind nach wie vor entscheidend für eine systematische Analyse von Datenkommunikationssystemen.