Kommunikation und mobile Systeme: Das Pi-Kalkül von Robin Milner ist ein englischsprachiges Studienbuch, das sich auf die Theorie der Kommunikation und mobiler Systeme konzentriert. Dieses Werk ist für Studierende in der Hochschulbildung und für Fachleute gedacht, die Interesse an Computernetzwerken und Kommunikationsmodellen haben.
Das Pi-Kalkül zeichnet sich durch die Behandlung von Mobilität in Kommunikationssystemen aus. Dabei wird das Verlagern von Daten innerhalb eines Programms dem Senden von Nachrichten oder vollständigen Programmen über das Internet gleichgesetzt. Dadurch wird es möglich, dynamische, selbst rekonfigurierbare Netzwerke zu modellieren.
Das Buch behandelt die wichtigsten Konzepte der Verhaltenäquivalenz und eine neue Typentheorie, die gemeinsam die Grundlage für das Verständnis interaktiver Systeme bilden. Die Theorie umfasst nicht nur das Internet und Kommunikationsprotokolle, sondern auch Algorithmen, Programmiersprachen und Datensrukturen.
Dieses Studienbuch bietet die erste gründliche Einführung in das Pi-Kalkül und ist damit ein unverzichtbares Nachschlagewerk für alle, die sich mit communicating and mobile systems befassen.
Relevante Themen sind unter anderem Computernetzwerke, Kommunikation und theoretische Informatik.