Global Session Types for Dynamic Checking of Protocol Conformance of Multi-Agent Systems ( Extended Abstract )