Specification and verification of agent interaction protocols in a logic-based system.
Marco AlbertiDavide DaolioPaolo TorroniMarco GavanelliEvelina LammaPaola MelloPublished in: SAC (2004)
Keyphrases
- agent interactions
- protocol specification
- formal verification
- communication protocols
- intelligent agents
- multi agent systems
- asynchronous circuits
- formal methods
- cryptographic protocols
- multi agent
- formal specification
- model checking
- software agents
- interaction model
- communication protocol
- knowledge representation
- verification method
- signature verification
- state space
- high level