Prior: 2006 2007 2008 2009 2011 2012
$Id: index.html 3679 2013-05-06 07:10:24Z mikko $ Visual verification paper out.
When sending E-mail, start the field "Subject:" with the string
"ConcA: ", if you want the message to be treated as non-junk.
Lectures: Room TC128, Mon, 12noon-2pm, and Wed, Mar 13, 2013, 10am-12noon. These are in English.
Goal and contents: The contents of the course will change for spring 2013.
Having passed the course, the student knows the problem of formulating a distributed algorithm and some methods or models to solve this. The course considers the correctness of concurrent programs, formulating a distributed algorithm, models of distributed computation, and relationships among these. The course considers the correctness of concurrent programs. In particular, we shall consider one way of constructing programs so that these are provably correct.
The course can be included in post-MSc graduate studies.
Grading: Exam, sufficient participation to the seminar part if included. If not too many participants, weekly graded homework that can replace exam. The exam can raise the grade based on homework. The first exam is in a place to be determined on Tue, May 14, 2013, 1-4pm: CHECK this and register for it.
Additional materials, subject to change, to be read before the
lecture as preparation for it:
Prerequisites: OHJ-2500 Program Verification (recommended), OHJ-4100 Operating systems (recommended), 8104000 Operating systems (compulsory) or OHJ-4010 Concurrency (compulsory).