Le point sur le développement des protocoles de communication, en abordant à la fois les aspects théoriques, liés aux langages de description formelle, et les problèmes pratiques posés par les tests de conformité et l’analyse des performances