Présente les techniques de descriptions formelles de protocoles, les langages normalisés et les outils utilisés par les industriels. Utile aussi bien pour les étudiants en informatique s'initiant aux protocoles et à la téléinformatique que pour les industriels.