Semantic models for communicating processes with value-passing /