A Correctness Checking Approach for Collaborative Business Processes in the Cloud

Figure 5

Reduced state space of OP.