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