Verification of Protocol Conformance and Agent Interoperability.
Matteo BaldoniCristina BaroglioAlberto MartelliViviana PattiPublished in: CLIMA (2005)
Keyphrases
- protocol specification
- cryptographic protocols
- communication protocols
- multi agent
- multi agent systems
- formal analysis
- multiagent systems
- intelligent agents
- formal specification
- decision making
- negotiation protocol
- formal proof
- agent model
- mobile agents
- autonomous agents
- agent architecture
- decision theoretic
- web services
- model checker
- semantic web
- agent systems
- dynamic environments
- colored petri nets
- mobile agent system
- cooperative
- formal methods
- multiple agents
- information systems
- software agents
- model checking
- multi party
- temporal logic