Software Engineering using
Formal Methods		 TDA293/DIT270, LP1, HT2011
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 R. Bubel W. Mostowski , Sep 13, 2011