"The [pi]-calculus : a theory of mobile processes" - читать интересную книгу автора (Davide Sangiorgi; David Walker )