External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols

Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi. MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. In Corrado Santoro, Fabrizio Messina, Massimiliano De Benedetti, editors, Proceedings of the 17th Workshop "From Objects to Agents" co-located with 18th European Agent Systems Summer School (EASSS 2016), Catania, Italy, July 29-30, 2016. Volume 1664 of CEUR Workshop Proceedings, pages 35-43, CEUR-WS.org, 2016. [doi]

Authors

Davide Ancona

This author has not been identified. Look up 'Davide Ancona' in Google

Daniela Briola

This author has not been identified. Look up 'Daniela Briola' in Google

Angelo Ferrando

This author has not been identified. Look up 'Angelo Ferrando' in Google

Viviana Mascardi

This author has not been identified. Look up 'Viviana Mascardi' in Google
runs on