EasyChair Smart Slide
Milner's Proof System for Regular Expressions Modulo Bisimilarity Is Complete
Milner's Proof System for Regular Expressions Modulo Bisimilarity Is Complete