====== Week 14 ====== ~~NOTOC~~ ===== Final Class ===== * Finish discussing Rinda / Producer-Consumer * questions from final assignment? * lecture notes: {{courses:cs377-201301:cs377-linda-lect1.pdf|PDF}} * multiple producers, multiple consumers * Final Exam handed out * Due: during regularly scheduled exam period * my office * Wed, May 15, between 9-11am. * CEQs ===== Communicating Sequential Processes ===== * Professor Peter Welch's [[courses:cs377-201301:welch-lectures:top|occam tutorial slides]] and