Keyword : finite state model


Specification and Analysis of the Contract Net Protocol Based on State Machine Model
Goichi ITABASHI Yoshiaki HARAMOTO Yasushi KATO Kaoru TAKAHASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/11/01
Vol. E85-A  No. 11 ; pp. 2447-2452
Type of Manuscript:  Special Section LETTER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Category: 
Keyword: 
multi-agent systemcontract net protocolformal specificationfinite state model
 Summary | Full Text:PDF(358.5KB)