Table 2: Summary of the concurrency specifications.

CSPPSMSDFKPNCnCTLDM

Data streaming application
Control-intensive application
Nondeterministic behavior
Hierarchical structure
Scalable data parallelism
Task instance reordering
HW Synthesis
Multicore platform
Heterogeneous platform