Mode-Automata: About Modes and States for Reactive Systems
Abstract elided by the publisher.
Related papers
- Modular Refinement of Hierarchic Reactive Machines POPL 2000
- Modular refinement of hierarchic reactive machines TOPLAS 2004
- MATOU: An Implementation of Mode-Automata CC 2000
- Energy types OOPSLA 2012
- Synthesis of reactive controllers for hybrid systems (keynote) POPL 2016
- Scripted signal functions Haskell 2020
- Correctly Rounded Math Libraries without Worrying about the Application's Rounding Mode PLDI 2025
- Moded Type Systems for Logic Programming POPL 1989