Forward to Fixed Point Semantics >>>

Process Networks

Lecture notes

Reading

Assigned reading:

  1. Edward A. Lee (2011), Concurrent Models of Computation: An Actor-Oriented Approach, Appendix A: Partially Ordered Sets
  2. Ptolemaeus, C. (ed.), "System Design, Modeling, and Simulation", Chapter 2.
  3. Kahn and MacQueen (1977). Coroutines and Networks of Parallel Processes.

Homework

Due Tuesday, 9/13:

  1. Exercises 1-4 of Appendix A: Partially Ordered Sets, of Concurrent Models of Computation: An Actor-Oriented Approach.
  2. Exercises 1-4 in Chapter 4, Process Networks, of System Design, Modeling, and Simulation.

Other recommended reading:

  1. Davey and Priestley, chapter 1.
  2. Kahn (1974). The Semantics of a Simple Language for Parallel Programming.
Other possibly useful references:
  1. Broy and Stefanescu (2001). The Algebra of Stream Processing Functions.