Multi-agent systems; Agent communication; Temporal logics; Social commitments; Commitment-based protocols; business protocols; Symbolic algorithm; Model checking; Verification; Complexity