"Communicating and Mobile Systems. the Pi-Calculus" - читать интересную книгу автора (Robin Milner)