Literatur

• Mordechai Ben-Ari: Principles of Concurrent and Distributed Programming, Prentice Hall 1990
• Beatrice Berard et al.: Systems and Software Verification, Springer 2001

erfordert eigentlich eine eigene Vorlesung, vergleiche

• Bertrand Meyer: Concepts of Concurrent Computation, http://se.inf.ethz.ch/courses/2012a_spring/ccc/
• Sibylle Schwarz: Verifikations- und Spezifikationsmethoden (Abschnitt 3: Model Checking) http://whz-cms-10.zw.fh-zwickau.de/sibsc/lehre/ws11/veri/