Concurrency Theory - Fall 2018
This is the homepage of the course on Concurrency Theory, held at the University of Southern Denmark in Fall 2018.
For the one minute paper at the end of every lecture, enter room DM861 at this link: https://www.socrative.com/.
How this course works (read this carefully!)
Each week, there are two allocated times for the course (on two separate days). The first one is a frontal lecture. The second one is a joint exercise/reading class for students only.
For each exercise/reading class, there will be a reading assignment (possibly with exercises). You can find these in the section "Reading/Exercise Assignments" at the bottom of this page. You are encouraged to do the reading and exercises together, if you like. You should keep three things in mind while you do it (the general idea is: write everything down!). First, write down your solutions to exercises (if any). Second, write down questions about things that you did not understand. Third, if you come up with new questions that are not mentioned in the lectures or the material, write them down too. Challenges for your colleagues and/or the teacher for the lectures are welcome!
Material
- Introduction Slides
- Notes on Choreographies: Notes on Choreographies
- Example LaTeX source of how I write my notes, which uses the proof-dashed package
- LaTeX source of figures in the lecture notes
- Exam examples (from last year)
Reading/Exercise Assignments
- Week 36. Exercises 1 and 2 in Chapter 1 from Material 2.
- Week 37. Exercise 3 in Chapter 1 from Material 2.
- Week 38. Exercises 4 and 5 in Chapter 2 from Material 2.
- Week 41. Exercises 6 and 7 in Chapter 3 from Material 2.
- Week 43. Exercises 8-13 in Chapter 3 from Material 2.
- Week 44. Prove Theorem 2 in Material 2.
- Week 45. Exercises 14 and 15 in Material 2. Reformulate Theorem 2 for stateful choreographies and prove it.
- Week 46. Exercises in Sections 5.1, 5.2, and 5.3 in Material 2.
- Week 47. Exercises in Section 5.4, in Material 2.
- Week 49. Exercises on Recursion in Material 2.