Parallel Computation

Instructor

• Reza Pulungan

Schedule

• Lectures
  • Thursdays: 12:00-13:00, S2.04
  • Fridays: 08:00-10:00, M2.10
• Exams
  • Mid-term: Oct, 25 - Nov. 5, 2010
  • Final: Jan. 3 - 15, 2011

Textbooks

Grading

• Exercises: 20%
• Mid-term exam: 40%
• Final exam: 40%

Lectures

Lecture 0 (August 26, 2010)

• Introduction

Lecture 1 (August 27, 2010)

• Introduction

Lecture 2 (September 2, 2010)

• Labelled Transition Systems

Lecture 3 (September 3, 2010)

• Labelled Transition Systems

Lecture 4 (September 23, 2010)

• Sequential CCS

Lecture 5 (September 30, 2010)

• Sequential CCS

Lecture 6 (October 1, 2010)

• Sequential CCS

Lecture 7 (October 7, 2010)

• Concurrent CCS

Lecture 8 (October 8, 2010)

• Concurrent CCS

Lecture 9 (October 14, 2010)

• Concurrent CCS: Synchronisation

Lecture 10 (October 15, 2010)

• Concurrent CCS: Value Passing

Lecture 11 (October 21, 2010)

• Concurrent CCS: Natural Numbers + Equivalances

Lecture 12 (November 25, 2010)

• Parallel Computations

Lecture 13 (November 26, 2010)

• Parallel Computations

Lecture 14 (December 2, 2010)

• Parallel Computations

Lecture 15 (December 3, 2010)

• Parallel Computations

Lecture 16 (December 9, 2010)

• Parallel Computations

Lecture 17 (December 10, 2010)

• Parallel Computations

Lecture 18 (December 16, 2010)

• Parallel Computations

Lecture 19 (December 17, 2010)

• Parallel Computations

Lecture 20 (December 23, 2010)

• Parallel Computations