"A model for communicating sequential processes" - читать интересную книгу автора (Brookes S.D. )