Specification and Verification of Agent Interaction Protocols.

Bo Chen Samira Sadaoui

Published in: SEKE (2004)

Keyphrases

agent interactions
protocol specification
formal verification
intelligent agents
multi agent systems
communication protocols

cryptographic protocols
software agents
formal specification
formal methods
model checking
multi agent

asynchronous circuits
distributed learning
specification language
concurrent systems
complex domains
machine learning

intelligent systems
database systems
multi party
colored petri nets
special case
agent communication language