The Weakest Deadlock-Preserving Congruence (1995)

by A Valmari
Venue:Information Processing Letters