Type Checking for Protocol Role Enactments via Commitments / Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto. - (2019), pp. 1690-1692. ((Intervento presentato al convegno The 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 tenutosi a Montreal, Canada nel May 13th-17th, 2019.
Titolo: | Type Checking for Protocol Role Enactments via Commitments |
Autori Riconosciuti: | |
Autori: | Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto |
Data di pubblicazione: | 2019 |
Editore: | IFAAMAS, International Foundation for Autonomous Agents and Multiagent Systems |
Titolo del libro: | Proc. of 18th International Conference on Autonomous Agents and Multiagent Systems, JAAMAS Track, AAMAS 2019 |
Pagina iniziale: | 1690 |
Pagina finale: | 1692 |
Nome del convegno: | The 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 |
Luogo del convegno: | Montreal, Canada |
Anno del convegno: | May 13th-17th, 2019 |
ISBN: | 978-1-4503-6309-9 |
URL: | http://dl.acm.org/citation.cfm?id=3331897 http://www.ifaamas.org/Proceedings/aamas2019/pdfs/p1690.pdf |
Parole Chiave: | Agent Typing, Social Relationships, Static and dynamic type checking, Commitments, Commitment-based Interaction Protocols |
Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
p1690.pdf | Articolo principale | PDF EDITORIALE | Open Access Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.