Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously.

Jan J. M. M. Rutten

Browse the full ICALP paper archive.