"A Calculus of Communicating Systems" - читать интересную книгу автора (R. Milner)