Instantaneous Termination in Pure Esterel
Abstract elided by the publisher.
Related papers
- A Synchronous Effects Logic for Temporal Verification of Pure Esterel VMCAI 2021
- Default Timed Concurrent Constraint Programming POPL 1995
- Communicating Reactive Processes POPL 1993
- A deterministic logical semantics for pure Esterel TOPLAS 2007
- The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl) ICFP 2024
- Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution ECOOP 2023
- XEVE, an ESTEREL Verification Environment CAV 1998
- Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs TACAS 1997