Syllabus/achievement requirements

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":

Published Apr. 24, 2007 8:17 PM - Last modified Dec. 10, 2007 4:40 PM