<<< Back to Process networks     Forward to Execution policies >>>

Fixed Point Semantics

Lecture notes

Homework

Homework exercises assigned last week are due in one week, Friday, February 6.

Reading

Assigned reading:

  1. Davey and Priestley, chapter 8.
  2. Geilen and Basten (2003). Requirements on the execution of Kahn process networks. (Study group paper)

Other recommended reading:

  1. Lee and Parks (1995). Dataflow Process Networks.