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