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