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

Execution Policies

Lecture notes

Homework

Homework 2 due Thursday, 9/29.

  1. Exercises 5-7 of Appendix A: Partially Ordered Sets of Concurrent Models of Computation: An Actor-Oriented Approach.
  2. Exercise 1 of the (unwritten) PN chapter of Concurrent Models of Computation: An Actor-Oriented Approach.
  3. Exercise 5 of the (unwritten) PN chapter of System Design, Modeling, and Simulation.

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.