Hailpern, B. T. Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

'Verifying Concurrent Processes Using Temporal Logic' von B. T. Hailpern ist ein akademisches Buch, das sich auf die Anwendung der zeitlichen Logik zur Überprüfung gleichzeitiger Prozesse in der Informatik konzentriert. Es bietet eine umfassende Einführung in die Theorie und Praxis der Verifikation von gleichzeitigen Systemen mit Hilfe von temporären Logiken. Das Buch beginnt mit einer gründlichen Erörterung grundlegender Konzepte und Techniken, bevor es zu komplexeren Themen wie der Modellierung und Analyse von Gleichzeitigkeit übergeht. Es enthält auch zahlreiche Beispiele und Übungen, um das Verständnis des Lesers zu vertiefen. Dieses Werk ist ein wertvolles Ressource für Forscher und Studenten in den Bereichen Informatik und Softwaretechnik, die an der Entwicklung sicherer und effizienter paralleler Systeme arbeiten.