Parallel Programming WS 2014/2015 - Slide 15c
Objectives:
Understand the inference rules
In the lecture:
The rules are explained:
- 1, 2, 3 are explained in "Modellierung" Mod-4.57 to MOd-4.60,
- guarded commands and iteration are generalized form of those explained in Mod-4.61 to Mod-4.66b,
- skip is clear.
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 09.10.2014