Goichi Itabashi, Yoshiaki Haramoto, Yasushi Kato, Kaoru Takahashi, Norio Shiratori. Specification and Analysis of the Contract Net Protocol Based on State Machine Model. IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 85-A(11):2447-2452, 2002. [doi]
Abstract is missing.