Global Types for Agent Interaction Protocols (short paper). - Federico Bergenti; Leonardo Galliera; Paola Giannini; Stefania Monica; Riccardo Nazzari (ICTCS, 2024)