<<< Back to Synchronous/Reactive     Forward to Dataflow Process Networks >>>

Concurrent State Machines

Lecture notes

Homework

Homework exercises are due in one week, Friday, March 13.

Reading

Assigned reading:

  1. Berry (2003). The Effectiveness of Synchronous Languages for the Development of Safety-Critical Systems, Esterel Technologies. (Study group paper)