Project Seminar "Parallel and Distributed Software and Algorithms"

RISC-Linz logo

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).

Maintained by: Wolfgang Schreiner
Last Modification: January 27, 1999

[Up] [RISC-Linz] [University] [Search]