Foundations of UML: Lecture 2: Races (Do, 21.10.2021)
Zur Veranstaltungsseite
  • Einbetten

Kapitel:

00:13:36
Definition FIFO Property
00:21:53
Definition Action Linearizations
00:26:56
Well-formedness of CFMs
00:43:40
From linearizations to MSCs
01:01:52
Definition Isomorphism of Linearizations
01:07:33
Relation MSC M and Lin(M)
01:16:02
Definition Causal Order
01:27:40
Definition Race