|
00:13:49
|
Definition Local Communication Closedness |
|
00:23:00
|
Non-local choice example |
|
00:29:05
|
Definition Minimal Event |
|
00:31:39
|
Definition Partial oder of a path |
|
00:34:18
|
Branching vertices |
|
00:36:00
|
Definition Local choice |
|
00:53:00
|
Definition Regular expressions over MSCs |
|
00:58:23
|
Definition Locally accepting CFM |
|
01:14:26
|
Definition Connected MSC |
|
01:14:31
|
Definition Star-connected |
|
01:20:53
|
Definition Finitely generated |