Abstract
We introduce an extension of global and local types tailored to the description of FIPA agent interaction protocols, formalize one of such protocols with these types. This paper is the first step of an ongoing project aimed at the definition of agent systems correctly implementing protocols by construction.
| Lingua originale | Inglese |
|---|---|
| Pagine | 284-291 |
| Numero di pagine | 8 |
| Stato di pubblicazione | Pubblicato - 2024 |
| Evento | 25th Italian Conference on Theoretical Computer Science, ICTCS 2024 - Torino Durata: 1 gen 2024 → … |
???event.eventtypes.event.conference???
| ???event.eventtypes.event.conference??? | 25th Italian Conference on Theoretical Computer Science, ICTCS 2024 |
|---|---|
| Città | Torino |
| Periodo | 1/01/24 → … |
Keywords
- Agent Interaction Protocols
- Agent Programming Languages
- Global Types
- Multiparty Sessions