3 ms·Communicating Sequential Processes, by CAR Hoare.by db48x 8y agoCommunicating Sequential Processes, by CAR Hoare.