"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...

"Communication and Concurrency" von Robin Milner ist ein einflussreiches Werk in der Informatik, das sich mit der Theorie der Kommunikation zwischen parallelen Prozessen befasst. In diesem Buch führt Milner die Prozesskalküle ein,...