Gregory R. Andrews: Foundations of Multithreaded, Parallel, and Distributed Programming, Addison-Wesley, 2000. ISBN: 0-201-35752-6.
Remark: The author maintains a list of misprints in the book. It may be found here .
Detailed syllabus, INF3140/4140
All English slides from the lectures.
From the book by Andrews:
Chap. 1.
Chap. 2.
Chap. 3: Syllabus: 3.1-3.4. Not part of the syllabus: 3.5, 3.6.
Chap. 4. Syllabus: 4.1-4.5. Not part of the syllabus: 4.6.
Chap. 5. Sullabus: 5.1-5.4. Not part of the syllabus: 5.5.
Chap. 6. Cursory (kursorisk pensum). The chapter will not be lectured.
Chap. 7. 7.1-7.5.
Chap. 8. 8.1-8.4.
Supplementary readings
Douglas Lea: Concurrent Programming in Java: Design Principles and Pattern, 1999. Prentice Hall. ISBN: 978-0201310092.
J. Blanchette and M. Kyas: Overview of the Creol Language, 2007. http://www.ifi.uio.no/~inf3140/CreolOverview.pdf.
See also various texts on Hoare Logic given in the webpage under "Meldinger":