Video von 2020
|
00:14:59
|
Definition Message Sequence Graph |
|
00:19:19
|
Definition Concatenation of MSCs |
|
00:32:12
|
Properties of Concatenation |
|
00:35:57
|
Definition Paths in MSGs |
|
00:44:01
|
Definition Language of an MSG |
|
00:45:03
|
Definition Word Language |
|
00:49:51
|
Definition Races in MSGs |
|
00:57:10
|
Undecidability of empty intersection |