CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishType Checking for Protocol Role Enactments via Commitments / Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto. - (2019), pp. 1-3. ((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: | 1 |
| Pagina finale: | 3 |
| 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 |
| 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:
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.
Copyright © 2019