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.
Global Types for Agent Interaction Protocols (short paper)
Giannini P.;
2024-01-01
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
main.pdf
file ad accesso aperto
Licenza:
Creative commons
Dimensione
675.34 kB
Formato
Adobe PDF
|
675.34 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
