Other communicating FSM models

• Synchronous (Esterel, StateCharts):

  all FSMs make a transition simultaneously
  

• A-synchronous (not synchronous):

  communication is mediated by “channels”:
  
  • blocking write/blocking read (CSP, CCS)
    (rendez-vous: both partners must be ready)
    
  • non-blocking write/blocking read (CFSMs, SDL)
    (bounded or unbounded FIFOs)
    
  • non-blocking write/non-blocking read
    (shared variables)
    

Previous slide

Next slide

Back to first slide

View graphic version