Coinductive Proof Techniques for Language Equivalence.

Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten

Browse the full LATA paper archive.