TY  - RPRT
TI  - Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions)
AU  - Clemens Grabmayer
PY  - 2022
UR  - https://arxiv.org/abs/2209.12188
ID  - 2209.12188
ER  -