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.

1. Broy and Stefanescu (2001). The Algebra of Stream Processing Functions.