Iterating Transducers
No abstract available.
DOI 10.1007/3-540-44585-4_27
Related papers
- Simulation-Based Iteration of Tree Transducers TACAS 2005
- Iterating Transducers in the Large (Extended Abstract) CAV 2003
- Network Change Validation with Relational NetKAT POPL 2026
- Minimization of Symbolic Transducers CAV 2017
- Equivalence of Extended Symbolic Finite Transducers CAV 2013
- The Power of Symbolic Automata and Transducers CAV 2017
- Static Analysis of Communicating Processes Using Symbolic Transducers VMCAI 2017
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) TACAS 2007