Understanding Concurrent Systems, Fachbücher von A.W. Roscoe

"Understanding Concurrent Systems" ist ein Fachbuch, das sich mit der Theorie und Praxis der gleichzeitigen Systeme befasst. Es nutzt die CSP-Notation (Communicating Sequential Processes), die seit der Veröffentlichung des gleichnamigen Textes von C.A.R. Hoare im Jahr 1985 weit verbreitet ist. Das Buch bietet eine umfassende Einführung in die Konzepte der Parallelität und Kommunikation, die in einem algebraischen Stil präsentiert werden. Es dient sowohl als wertvolle Referenz für Fachleute als auch als Lehrmaterial für fortgeschrittene Kurse. Die Inhalte sind so gestaltet, dass sie für Leser mit grundlegenden Kenntnissen in Mengen und Sequenzen zugänglich sind, ohne dass tiefgehende mathematische Kenntnisse erforderlich sind. Darüber hinaus wird die Integration von CSP-basierten Werkzeugen wie FDR behandelt, was die praktische Anwendung der Theorie unterstützt. Das Buch ist eine erste Anlaufstelle für alle, die CSP nutzen oder mehr über die zugrunde liegende Theorie erfahren möchten.