Syllabus/achievement requirements

Curriculum IN5170

• The slides/handouts from the course page
• The following chapters from the main book by Andrews: Chapter 1 to 10, with emphasis on the material covered by the slides.

G. R. Andrews.

Foundations of Multithreaded, Parallel, and Distributed Programming. AddisonWesley, 2000

Additional material for IN9170

The following paper on Creol (except Section 7) with emphasis on the rules in Figure 7 and the main example.

Crystal Chang Din, Olaf Owe:

A Sound and Complete Reasoning System for Asynchronous Communication with Shared Futures. Journal of Logic and Algebraic Programming, 83(5-6):360- 383, Elsevier, 2014