Task-Level Data Model for Hardware Synthesis Based on Concurrent Collections. (10th May 2012)