TY - GEN
T1 - Verifying the conformance of agents with multiparty protocols
AU - Giordano, Laura
AU - Martelli, Alberto
N1 - Publisher Copyright:
© 2008 The authors and IOS Press. All rights reserved.
PY - 2008/6
Y1 - 2008/6
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85052081235&partnerID=8YFLogxK
U2 - 10.3233/978-1-58603-891-5-855
DO - 10.3233/978-1-58603-891-5-855
M3 - Conference contribution
AN - SCOPUS:85052081235
SN - 978158603891
T3 - Frontiers in Artificial Intelligence and Applications
SP - 855
EP - 856
BT - Frontiers in Artificial Intelligence and Applications
PB - IOS Press BV
T2 - 18th European Conference on Artificial Intelligence, ECAI 2008
Y2 - 21 July 2008 through 25 July 2008
ER -