Nächste Seite:
Einleitung
Aufwärts:
Sprachkonzepte der Parallelen Programmierung
Vorherige Seite:
Granularität der Locks
Spezifikation und Verifikation nebenläufiger Prozesse
Unterabschnitte
Einleitung
Literatur
Kripke-Strukturen, Omega-Wörter
Omega-Wörter und -Sprachen
PLTL: propositional linear time logic
PLTL: Algorithmen
PLTL-Spezifikationen von Systemeigenschaften
Semaphore
Gegenseitiger Ausschluß (grundsätzlich)
Gegenseitiger Ausschluß (in Java)
Namen für Semaphore
Implizite und explizite Semaphore in Java
Beispiel: Philosophen in der Mensa
Modellierung des Ressourcenzugriffs
5 Philosophen: Aufgaben/Übung
Johannes Waldmann 2013-02-01
