EasyChair Smart Slide
A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity
A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity