Project Seminar "Parallel and Distributed Software and Algorithms"

Wolfgang Schreiner <Wolfgang.Schreiner@risc.uni-linz.ac.at>

326.833, WS 1998 (Start: October 7)
Wed 14:00-15:30, HA 105

Last Semester

October 7

1. Seminar Organization
   Contents, scheduling of presentations.

October 28

1. Current State of the CFLP System.
   Mircea Marin.

November 4

1. The Peterson Mutual Exclusion Algorithm.
   Igor Rents.

November 11

1. The Peterson Mutual Exclusion Algorithm (Continued).
   Igor Rents.

November 18

1. A Survey on Temporal Logic for Parallel Program Specification.
   Wolfgang Schreiner.

November 25; December 3, 10, 17; January 20

1. Verification of Peterson's Mutual Exclusion Algorithm
   Mutual Exclusion (Rents), Liveness (Pau).