Analysis and Verification of Multi-Agent Interaction Protocols.

Wu Wen, Fumio Mizoguchi

Browse the full APSEC paper archive.