Protocol Specification Using a Commitment Based ACL.

Nicoletta Fornara Marco Colombetti

Published in: Workshop on Agent Communication Languages (2003)

Keyphrases

protocol specification
communication protocols
formal specification
natural language learning
formal methods
database
databases
artificial intelligence
database systems
relational databases
open source
software development
data driven