Sign in

Verified Compilation of Synchronous Dataflow with State Machines.

Timothy BourkeBasile PesinMarc Pouzet
Published in: ACM Trans. Embed. Comput. Syst. (2023)
Keyphrases
  • state machines
  • state machine
  • petri net
  • recurrent networks
  • data flow
  • control flow
  • sequence diagrams
  • reactive systems
  • fault tolerant
  • parallel computing
  • knowledge compilation