Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete: Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions.

Clemens Armin Grabmayer

Browse the full LICS paper archive.