<<< Back to Fixed Point Semantics     Forward to Message Passing Patterns >>>

Execution Policies

Lecture notes

Homework

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

Solutions to homework due this week.

Reading

Assigned reading:

  1. Lee and Parks (1995). Dataflow Process Networks Proceedings of the IEEE, 83(5) pp773-799.
  2. Brock and Ackerman (1981). Scenarios, a Model of Non-Determinate Computation, Conference on Formal Definition of Programming Concepts, Springer-Verlag. (Study group paper)