A Markov Model for Distributed Communicating Sequential Processes