A Truly Concurrent Semantics for a Simple Parallel Programming Language