The Weakest Deadlock-Preserving Congruence (1995)

by A Valmari
Venue:Inf. Process. Lett