Email Record: Semantics of sequential and parallel programs /