Email Record: Mathematical models for the semantics of parallelism :