Model Checking: 3: Concurrency (Di, 24.04.2018)
Zur Veranstaltungsseite
  • Einbetten

Kapitel:

00:26:54
Mutual exclusion with semaphore
00:38:30
Peterson algorithm
00:57:27
Handshaking (Synchronous Message Passing)