|
00:02:02
|
Definition Realisability |
|
00:02:48
|
Definition Safe Realisability |
|
00:16:09
|
Definition Regular MSCs, MSGs, and CFMs |
|
00:16:16
|
Regular MSCs, MSGs, and CFMs |
|
00:43:30
|
Definition B-Bounded words |
|
00:51:42
|
Definition Communication Graph |
|
00:55:22
|
Definition Communication Closedness |
|
01:19:05
|
Definition Asynchonous Iteration |
|
01:21:28
|
Definition Finitely Generated |