Vorlesung Parallele Programmierung in Java SS 2000 - Folie Nr. 17

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 16-25 als PDF

Ziele:
Zusammenhang: Verzahnung und Aussagen über Prozesse

in der Vorlesung:
dazu

  • Erläuterung der NI
  • Rolle der pre(Z) erläutern
  • Verzahnungsmöglichkeiten erhöhen Zahl der NI-Nachweise
  • Global gültige Aussagen vereinfachen die Nachweise
  • Schwächere Aussagen vereinfachen die Nachweise

Verständnisfragen:

  • Warum brauchen Aussagen über Zstände im inneren der atomaren Aktionen nicht berücksichtigt zu werden?