Software Engineering using
Formal Methods		 TDA293/DIT270, LP1, HT2012
Lecture Notes: Modelling Distributed Systems

We discussed today:
  • channels, receiving and sending to channels
  • global vs. local channels
  • rendezvous channels and synchronous execution
  • buffered channels
Handouts:


Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt J. Svenningsson M. Wang , Aug 15, 2012