1 citations · 1 across the 1 of their papers we have counts for
1 paper
Xinxin Liu, Tingting Yu
We present an equational inference system for finite-state expressions, and prove that the system is sound and complete with respect to divergence preserving branching congruence,…