Title: Analysis and Verification of Multiple-Agent Languages