Synchronized Concurrent Control Flow