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

Synchronous/Reactive Models

Lecture notes

Handout on sets of functions as a CPO

Homework

Homework exercises are due in two weeks, Friday, March 13.

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). (Study group paper)

Other recommended reading:

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