Outline
- Process networks
- Fixed point semantics
- Execution policies
- Message passing patterns
- Threads
- Synchronous/Reactive models
- Concurrent state machines: Statecharts
- Dataflow Process Networks
- Scheduling Dataflow
- Consistency
- Time-triggered models
- Discrete events
- Continuous-time models and Hybrid systems
- Actor Abstract Semantics
- Ptolemy Event Relationship Actors (Ptera)
- Actor-Oriented Type Systems