"Communicating and Mobile Systems: The Pi-Calculus" von Robin Milner ist ein grundlegendes Werk in der Informatik, das sich mit der Modellierung und Analyse von dynamischen Kommunikationssystemen beschäftigt. Das Buch führt den Pi-Kalkül...