Volume: Vol-3811 ICTCS 2024 | Year: 2024

Paper: « paper010 | paper120 | paper050 »

Global Types for Agent Interaction Protocols (short paper)

• Federico Bergenti ORCID dblp Wikidata
• Stefania Monica ORCID dblp
• Paola Giannini ORCID dblp
• Leonardo Galliera dblp
• Riccardo Nazzari dblp

284-291 PDF