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:



W. Ahrendt, Sep 11, 2020