EECS 290n
Contents

Home
Logistics
Outline
Technology
Project
Study group
Reading

Outline

1. Process networks
2. Fixed point semantics
3. Execution policies
4. Message passing patterns
5. Threads
6. Synchronous/Reactive models
7. Concurrent state machines: Statecharts
8. Dataflow Process Networks
9. Scheduling Dataflow
10. Consistency
11. Time-triggered models
12. Discrete events
13. Continuous-time models and Hybrid systems
14. Actor Abstract Semantics
15. Ptolemy Event Relationship Actors (Ptera)
16. Actor-Oriented Type Systems