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

Dataflow Process Networks

Lecture notes

Homework

Homework 4 due Tuesday, 10/25.

Reading

Assigned reading:

  1. Ptolemaeus, C. (ed.), "System Design, Modeling, and Simulation", Chapter 3.
  2. Lee & Matsikoudis (2008). The Semantics of Dataflow with Firing.
  3. 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.