"A calculus of communicating systems " - читать интересную книгу автора (Robin Milner)