Talk:Partial order reduction

"preserving all the deadlocks in the state space"

edit

Please clarify. I think what was meant was: "preserving deadlock freedom in the state space" Vonkje (talk) 22:34, 18 December 2016 (UTC)Reply