Email Record: Mathematical Models for the Semantics of Parallelism :