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