Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems