This section of the standard is where programming models are described and fitted in with Level 0 Proxy Model. These models can be any of the standard programming models, such as BSP (Bulk Synchronous Processing), SPMD, MIMD and a variety of other processing models. In particular, user extensible models can be described using this section of the EC++ definition.