Formal Methods for Software Development
TDA294/DIT271, LP1, HT2020
Lecture Notes: Modelling Distribution
We discuss:
channels, receiving and sending to channels
global vs. local channels
rendezvous channels and synchronous execution
buffered channels
Handouts:
Slides:
Slides with overlays
Paper saving version
Examples from the lecture:
DistributedProgramming_Examples.zip
W. Ahrendt
, Sep 11, 2020