Yoshiaki Haramoto

Learn More
SUMMARY In this paper, we clarify the properties of the contract net protocol based on its formal specification. To specify the contract net protocol, we propose a formal specification method for an agent system. In this method, agents are mod-eled as communicating finite state machines. To deal with the behavior of agents and its time passage explicitly,(More)
  • 1