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

The Tagged Signal Model and Actor Abstract Semantics

Lecture notes

Homework

TBA

Reading

Assigned reading:

  1. Ptolemaeus, C. (ed.), "System Design, Modeling, and Simulation", Chapter 1.
  2. 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.
  3. 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)