Specification and Verification of Agent Interaction Protocols.
Bo ChenSamira SadaouiPublished 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