"Communicating and mobile systems: the pi-calculus" - читать интересную книгу автора (Robin Milner)