Concurrency in Dependable Computing, Fachbücher von Alexander Romanovsky, Paul Ezhilchelvan

"Concurrency in Dependable Computing" ist ein Fachbuch, das sich mit den Herausforderungen der Parallelität im Bereich der zuverlässigen Informatik beschäftigt. Es untersucht, wie Systemausfälle, sei es durch Hardware- oder Softwarekomponenten, als unerwünschte Ereignisse betrachtet werden können, die gleichzeitig mit normalen Systemereignissen auftreten. Die Erreichung von Zuverlässigkeit ist eng mit der Theorie und den Formalismen der Parallelität verbunden. Das Buch gliedert sich in drei Hauptstränge: die strukturelle Anordnung von parallelen Aktivitäten auf Anwendungsebene, das Management von Replikationen zur Erhöhung der Zuverlässigkeit und die Anwendung von Parallelitätsformalisierungen zur Gewährleistung der Zuverlässigkeit. Es bietet wertvolle Einblicke in die Nutzung von Konzepten wie atomaren Aktionen, Replikationsmanagement und die Anwendung von CSP, Petri-Netzen und CCS zur Spezifikation und Verifizierung fehlertoleranter Designs und Protokolle. Dieses Buch ist eine umfassende Ressource für Fachleute und Studierende, die sich mit den komplexen Aspekten der Zuverlässigkeit in parallelen Systemen auseinandersetzen möchten.