"Communicating Sequential Processes Csp" - читать интересную книгу автора (C A R Hoare)