Similar Items: Concurrent Process Histories and Resource Transducers
- Synthesis of Data Word Transducers
- Simulation by Rounds of Letter-to-Letter Transducers
- Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
- One-way definability of two-way word transducers
- Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
- Continuity of Functional Transducers: A Profinite Study of Rational Functions