Pitt, Jeremy, and Fabio Bellifemine. A protocol-based semantics for FIPA?97 acl and its implementation in Jade In AI*IA ., 1999.