Analysis and verification of multi-agent interaction protocols

• Authors:

• Wu Wen;Fumio Mizoguchi

• Affiliations:

• Science Univ. of Tokyo, Chiba, Japan;Science Univ. of Tokyo, Chiba, Japan

• Venue:
• Proceedings of the third annual conference on Autonomous Agents
• Year:
• 1999