Software Engineering using
Formal Methods
TDA293/DIT270, LP1, HT2014
Lecture Notes: Modelling Distribution
We discussed today:
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
Home
|
Course
|
Schedule
|
Exam
|
Exercises
|
Labs
|
Eval
|
Tools
W. Ahrendt
, Sep 3, 2014