<<< Back to Threads
Forward to Concurrent State Machines >>>
Synchronous/Reactive Models
Homework exercises
are due in two weeks, Friday, March 13.
Reading
Assigned reading:
-
Edwards and Lee (2003). The Semantics and Execution of a Synchronous Block-Diagram Language, Science of Computer Programming
-
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:
-
Benveniste and Berry (1991). The Synchronous Approach to Reactive and Real-Time Systems, Proceedings of the IEEE