4 ms·

Communicating and Mobile Systems: the Pi-Calculus (Milner) Fundamental, but rather painful to digest.