CINECA IRIS Institutional Research Information System

Type Checking for Protocol Role Enactments via Commitments

Baldoni, Matteo;Baroglio, Cristina;Capuzzimati, Federico;Micalizio, Roberto
2019-01-01
2019
The 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
Montreal, Canada
May 13th-17th, 2019
Proc. of 18th International Conference on Autonomous Agents and Multiagent Systems, JAAMAS Track, AAMAS 2019
IFAAMAS, International Foundation for Autonomous Agents and Multiagent Systems
1690
1692
978-1-4503-6309-9
http://dl.acm.org/citation.cfm?id=3331897
http://www.ifaamas.org/Proceedings/aamas2019/pdfs/p1690.pdf
Agent Typing, Social Relationships, Static and dynamic type checking, Commitments, Commitment-based Interaction Protocols
Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Micalizio, Roberto
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
p1690.pdf

Accesso aperto

Descrizione: Articolo principale
Tipo di file: PDF EDITORIALE
Dimensione 854.41 kB
Formato Adobe PDF
Visualizza/Apri
854.41 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1699783
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact