Antti Valmari. The Weakest Deadlock-Preserving Congruence. Inf. Process. Lett., 53(6):341-346, 1995. [doi]
@article{Valmari95, title = {The Weakest Deadlock-Preserving Congruence}, author = {Antti Valmari}, year = {1995}, doi = {10.1016/0020-0190(94)00214-J}, url = {http://dx.doi.org/10.1016/0020-0190(94)00214-J}, researchr = {https://researchr.org/publication/Valmari95}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {53}, number = {6}, pages = {341-346}, }