The Weakest Deadlock-Preserving Congruence

Antti Valmari. The Weakest Deadlock-Preserving Congruence. Inf. Process. Lett., 53(6):341-346, 1995. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: