Bisher gibt es relativ wenig Bücher, die sich auf einführendem Niveau mit CSP (Communicating Sequential Processes), einer Theorie parallel laufender Systeme ("concurrent systems"), beschäftigen. Dieses Werk füllt eine Lücke; es ist das einzige gegenwärtig verfügbare Lehrbuch, an dem sich Dozenten orientieren können, die die Theorie solcher Systeme in vollem Umfang behandeln möchten. Eine ausgezeichnete Auswahl von Beispielen und Übungen motiviert die Studenten, sich näher mit diesem schwierigen Fachgebiet zu beschäftigen. (10/99)
Steve Schneider is the author of Concurrent and Real-time Systems: The CSP Approach, published by Wiley.