Model Checking: 4: Channel systems (Fr, 27.04.2018)
  • Einbetten

Kapitel:

00:08:04
FIFO Buffers
00:10:10
Channels are directed
00:10:10
Katoen's assistants later corrected that the channels are not a directed connection between two processes. Instead they are just FIFO buffers and any process can read and write on them.