<<< Back to Time Models and Hybrid Systems      Forward to Ptera >>>

The Tagged Signal Model and Actor Abstract Semantics

Lecture notes

Homework

Project paper reviews due in one week, May 8.

Homework exercises are due one week, Friday, May 8.

Reading

Assigned reading:

  1. Lee, E. A. and A. Sangiovanni-Vincentelli (1998). "A Framework for Comparing Models of Computation." IEEE Transactions on Computer-Aided Design of Circuits and Systems 17(12): 1217-1229.
  2. Lamport, L., R. Shostak and M. Pease (1978). "Time, Clocks, and the Ordering of Events in a Distributed System." Communications of the ACM 21(7): 558--565. (Study group paper)