Specifying protocols for multi-agent systems interaction | Synapse