Equivalence class verification of the contract net protocol-extension.

Amar Kumar Gupta Guy Edward Gallasch

Published in: Int. J. Softw. Tools Technol. Transf. (2016)

Keyphrases

equivalence class
contract net protocol
equivalence classes
directed acyclic graph
petri net
equivalence relation
multi agent systems
distributed problem solving
cooperative
multi dimensional
neural network
business process
process model