A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours.

Xinxin Liu, Tingting Yu

Browse the full LICS paper archive.