Handbook of Process Algebra

"Handbook of Process Algebra" von S.A. Smolka ist ein umfassendes Nachschlagewerk, das sich auf die Prozessalgebra konzentriert, eine mathematische Theorie, die zur Beschreibung von parallelen und verteilten Systemen verwendet wird. Das Buch deckt alle Aspekte der Prozessalgebra ab, einschließlich ihrer Semantik, ihrer Anwendung auf verschiedene Bereiche wie Netzwerke und Betriebssysteme sowie den Techniken zur Analyse und Verifizierung von prozessalgebraischen Modellen. Es enthält auch eine Diskussion über aktuelle Forschungsthemen in diesem Bereich. Dieses Handbuch ist sowohl für Studenten als auch für Forscher nützlich, die sich mit paralleler Programmierung, Verteilungssystemen oder formaler Verifikation befassen.