The Algebraic Feedback Product of Automata
No abstract available.
Related papers
- Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead GPCE 2023
- Monadic second-order logic on finite sequences POPL 2017
- Automata Tutor v3 CAV 2020
- An Algebra of Alignment for Relational Verification POPL 2023
- Finiteness Conditions and Structural Construction of Automata for All Process Algebras CAV 1990
- Modal I/O Automata for Interface and Product Line Theories ESOP 2007
- Runtime metric meets developer: building better cloud applications using feedback Onward! 2015
- Concurrent Transition System Semantics of Process Networks POPL 1987