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) / Bergenti, F.; Galliera, L.; Giannini, P.; Monica, S.; Nazzari, R.. - 3811:(2024), pp. 284-291. ( 25th Italian Conference on Theoretical Computer Science, ICTCS 20242024).
Global Types for Agent Interaction Protocols (short paper)
Bergenti F.;Monica S.;
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:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
