Video von 2020
|
00:00:00
|
Realisability |
|
00:10:11
|
Realisability Problem |
|
00:22:46
|
Deterministic CFM |
|
00:27:18
|
Deadlock-free CFM |
|
00:34:37
|
Weak CFM |
|
00:48:56
|
Realisability of MSC |
|
01:00:24
|
Inference |
|
01:02:45
|
MSC projection |
|
01:07:39
|
Inference Relation |
|
01:10:02
|
Closure under Inference |
|
01:21:38
|
Realisability under Closure |