The Semantics of a Parallel Language based on a Shared Data Space