Video von 2020
|
00:00:00
|
Bounded MSCs and CFMs |
|
00:12:08
|
Definition CFM |
|
00:21:07
|
Linearisations of a CFM (Accepting Runs) |
|
00:27:43
|
Reminder Well-formedness |
|
00:31:05
|
Well-formedness of CFMs |
|
00:39:01
|
Emptiness Problem for CFMs |
|
00:43:36
|
B-Boundedness |
|
00:52:25
|
Universally bounded MSCs |
|
01:02:46
|
Existentially bounded MSCs |
|
01:25:09
|
Universally bounded CFM |
|
01:26:53
|
Existentially bounded CFM |
|
01:39:19
|
Deadlocks |