Milner’s Proof System for Regular Expressions Modulo Bisimilarity is Complete
Clemens Grabmayer · 2022
Milner (1984) defined a process semantics for regular expressions. He formulated a sound proof system for bisimilarity of process interpretations of regular expressions, and asked whether this system is complete.