<<< Back to Concurrent State Machines     Forward to Scheduling Dataflow >>>

Dataflow Process Networks

Lecture notes

Homework

One page project status report due in one week, Friday, March 20.

Homework exercises are due in three weeks (after Spring Break), Friday, April 3.

Solutions to homework due this week.

Reading

Assigned reading:

  1. Lee & Matsikoudis (2008). The Semantics of Dataflow with Firing.
  2. Harel (1988). On visual formalisms. Communications of the ACM 31(5): 514-530. (Study group paper)

Other recommended reading:

  1. Harel, D. (1987). Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8(3): 231-274.