Toggle navigation
Home
Videos
FAQ
Zur neuen Seite
Model Checking
: 4: Channel systems (Fr, 27.04.2018)
Zur Veranstaltungsseite
Kapitelmarker vorschlagen
Einbetten
Download
1080p (1.2 GiB)
720p (630.9 MiB)
360p (326.9 MiB)
1080p (1.2 GiB)
720p (630.9 MiB)
360p (326.9 MiB)
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.
×
Error