Verifying the conformance of agents with multiparty protocols

Laura Giordano, Alberto Martelli

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

The paper defines a notion of conformance of a set of k agents with a multiparty protocol with k roles, requiring the agents to be interoperable and to produce correct executions of the protocol. Conditions are introduced that enable each agent to be independently verified with respect to the protocol.

Lingua originaleInglese
Titolo della pubblicazione ospiteFrontiers in Artificial Intelligence and Applications
EditoreIOS Press BV
Pagine855-856
Numero di pagine2
ISBN (stampa)978158603891
DOI
Stato di pubblicazionePubblicato - giu 2008
Evento18th European Conference on Artificial Intelligence, ECAI 2008 - Patras, Greece
Durata: 21 lug 200825 lug 2008

Serie di pubblicazioni

NomeFrontiers in Artificial Intelligence and Applications
Volume178
ISSN (stampa)0922-6389
ISSN (elettronico)1879-8314

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???18th European Conference on Artificial Intelligence, ECAI 2008
Paese/TerritorioGreece
CittàPatras
Periodo21/07/0825/07/08

Fingerprint

Entra nei temi di ricerca di 'Verifying the conformance of agents with multiparty protocols'. Insieme formano una fingerprint unica.

Cita questo