“...Symposium on Communicating Sequential Processes London, Anglie)...”