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