Jump to content

Talk:Partial order reduction

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

"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]