Concurrency: State Models and Java Programs

"Concurrency: State Models and Java Programs" von Jeff Kramer und Jeff Magee ist ein umfassendes Lehrbuch, das sich mit der Modellierung und Implementierung nebenläufiger Systeme befasst. Das Buch kombiniert theoretische Konzepte der Nebenläufigkeit mit praktischen Beispielen in Java. Der erste Teil des Buches führt den Leser in die Grundlagen der Nebenläufigkeit ein und behandelt formale Modelle wie Zustandsautomaten und Prozessalgebren. Diese Modelle helfen dabei, das Verhalten paralleler Prozesse zu verstehen und korrekt zu spezifizieren. Im zweiten Teil wird die Umsetzung dieser theoretischen Konzepte in Java-Programme erläutert. Hierbei werden verschiedene Aspekte der Java-Programmierung behandelt, die für die Entwicklung nebenläufiger Anwendungen relevant sind, wie Threads, Synchronisation und Kommunikation zwischen Prozessen. Das Buch legt großen Wert auf eine methodische Herangehensweise an das nebenläufiger Systeme und bietet zahlreiche Beispiele und Übungen, um das Verständnis zu vertiefen. Es richtet sich sowohl an Studierende als auch an Praktiker, die robuste und effiziente nebenläufige Anwendungen entwickeln möchten.