TY  - RPRT
TI  - A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours
AU  - Xinxin Liu
AU  - Tingting Yu
PY  - 2021
UR  - https://arxiv.org/abs/2105.07595
ID  - 2105.07595
ER  -