TY  - RPRT
TI  - Image Reflection on Process Graphs -- A Novel Approach for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity
AU  - Yuanrui Zhang
AU  - Xinxin Liu
PY  - 2024
UR  - https://arxiv.org/abs/2311.01222
ID  - 2311.01222
ER  -