Table of Contents
Concurrency (48h, 6 ECTS)Course directors: Roberto Amadio and Catuscia Palamidessi Teachers for 20122013
GoalsThis course introduces formal methods for reasoning about properties of concurrent and probabilistic systems. Plan of the courseThe course is organised in 20 lectures. The course is `breakable'. This means that you get 3 credits if you pass only the first part (up to the midterm exam) or the second part (after the midterm) and 6 credits if you pass both. Notice that the grade we consider to give 6 credits is the average of the grades of the first and second part. For instance, if your grade is 12/20 in one part and 8/20 in the other you get 6 credits.
French and EnglishLectures are given in English if a nonFrench speaking student asks for it. The lecture notes and the text of the examinations are in English. The students may answer in French or English. MaterialThe lecture notes will be available on line. Related courses2.1, 2.2, 2.4, 2.17.1, 2.18.2, 2.31.1 PrerequisitesIt is useful, though not strictly necessary, to have attended the courses 115 (Semantics), 116 (Concurrency), and 120 (Categories). Bibliography (following the order of the lectures)
Possible teachers
Calendar
