A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity.

Clemens Grabmayer

Browse the full CALCO paper archive.