|
00:00:02
|
Wiederholung |
|
00:06:32
|
Synchronisierte Produkte |
|
00:09:12
|
Transitionssysteme |
|
00:19:08
|
Nebenläufige Ausführung |
|
00:21:25
|
Freie Produkte |
|
00:30:43
|
Synchronisierte Produkte |
|
00:45:36
|
Verwendung der ε-Transitionen |
|
00:47:47
|
Beispiel: Mutual Exclusion |
|
00:57:47
|
Petersons Mutual Exclusion |
|
00:59:05
|
Prozesskalküle |
|
01:04:22
|
Algebra |
|
01:06:50
|
Notation |
|
01:08:45
|
Rechnen in der Algebra |
|
01:11:10
|
Semantik |
|
01:22:10
|
Zusammenfassung |