Sources Gang Quan Univ. of Notre Dame Finite State Machines Review Data Flow Graph data dependency Control/Data Flow Graph control dependency How about a reactive system?…
