Coalgebraising Subsequential Transducers
Electronic Notes in Theoretical Computer Science (ENTCS)
Subsequential transducers: a coalgebraic perspective
Information and Computation
Hi-index | 0.00 |
An illustration of coinduction in terms of a notion of weak bisimilarity is presented. First, an operational semantics O for while programs is defined in terms of a final automaton. It identifies any two programs that are weakly bisimilar, and induces in a canonical manner a compositional model D. Next O = D is proved by coinduction.