Cette séance de cours introduit le concept de protocoles comme essentiel pour une communication réussie, illustré par un scénario d'achat de livres. Elle se décline en descriptions formelles en utilisant des types de session, illustrant les interactions entre acheteurs et vendeurs. La séance de cours traite également de l'importance des types de messages dans la communication par canal et des limites des langages de programmation traditionnels dans l'expression de la logique linéaire.