<<< Back to Threads     Forward to Concurrent State Machines >>>

Synchronous/Reactive Models

Lecture notes

Handout on sets of functions as a CPO

Homework

Homework 3 is due on Oct. 11 (same day as the quiz).

  1. Exercise 7 of the (unwritten) PN chapter of System Design, Modeling, and Simulation.
  2. Exercise 1 and 2 of the (unwritten) SR chapter of Concurrent Models of Computation: An Actor-Oriented Approach.
  3. Exercise 1 of the (unwritten) SR chapter of System Design, Modeling, and Simulation.

Reading

Assigned reading:

  1. Edwards and Lee (2003). The Semantics and Execution of a Synchronous Block-Diagram Language, Science of Computer Programming
  2. Frigo, Leiserson, and Randall (1998). The implementation of the Cilk-5 multithreaded language. Conference on Programming Language Design and Implementation (PLDI).

Other recommended reading:

  1. Benveniste and Berry (1991). The Synchronous Approach to Reactive and Real-Time Systems, Proceedings of the IEEE