Communicating Sequential Processes Journal