Mathematical Models for the Semantics of Parallelism