Simon Law's Communicating Sequential Processes