Finite State Machines

• Typical domains of application:

  • control functions
  • protocols (telecom, computers, ...)

• Different communication mechanisms:

  • synchronous
    (classical FSMs, Moore ‘64, Kurshan ‘90)
    
  • asynchronous
    (CCS, Milner ‘80; CSP, Hoare ‘85)
    

Previous slide

Next slide

Back to first slide

View graphic version