00:48:37
|
Definition Communication Actions, Channels
|
00:50:29
|
Definition Communicating finite-state machine
|
01:07:58
|
Definition Configurations of CFMs
|
01:10:20
|
Definition Global Step of CFM
|
01:31:20
|
Definition Linearization of a CFM
|
01:44:17
|
Emptyness Problem for CFMs is undecidable
|