(eng) This document collects some important results about the theory of Milner's pi-calculus and related formalisms. We present the syntax and semantics of a monadic calculus, and discuss type systems and the most commonly ...