EECS 219D, Lecture Notes

• Process Networks
• Fixed-Point Semantics
• Execution Policies
• Message Passing Patterns
• Threads
• Synchronous/Reactive Models
• Concurrent State Machines
• Dataflow Process Networks
• Scheduling Dataflow Models
• Consistency
• Time-Triggered Models
• Discrete-Event Systems
• Semantics of Discrete Event Systems
• Continuous-Time and Hybrid Systems
• Actor Abstract Semantics

Supplementary Material

• Extending Ptolemy II
• Cal Actor Language
• Ptera
• Actor-Oriented Type Systems