Models Of Computationfor reactive systems

• Main MOCs:

  • Communicating Finite State Machines
  • Dataflow Process Networks
  • Petri Nets
  • Discrete Event
  • Codesign Finite State Machines

• Main languages:

  • StateCharts
  • Esterel
  • Dataflow networks

Previous slide

Next slide

Back to first slide

View graphic version