A compositional temporal semantics is given for a subset of Occam language. Local environments, local stores, and local channel states are introduced to form a true concurrency model. In the semantics various properties of distributed processes can be discussed.