Data di Pubblicazione:
2024
Citazione:
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 2024 Torino 11th-13th September, 2024).
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
Agent Interaction Protocols; Agent Programming Languages; Global Types; Multiparty Sessions;
Elenco autori:
Bergenti, F.; Galliera, L.; Giannini, P.; Monica, S.; Nazzari, R.
Link alla scheda completa:
Titolo del libro:
Proceedings of the 25th Italian Conference on Theoretical Computer Science
Pubblicato in: