Forward to Fixed Point Semantics >>>

Process Networks

Lecture notes

Homework

Homework exercises are due in two weeks, Friday, February 6.

Reading

Assigned reading:

  1. Davey and Priestley, chapter 1.
  2. Kahn and MacQueen (1977). Coroutines and Networks of Parallel Processes. (Study group paper: Lead)

Other recommended reading:

  1. Kahn (1974). The Semantics of a Simple Language for Parallel Programming.
Other possibly useful references:
  1. Broy and Stefanescu (2001). The Algebra of Stream Processing Functions.