Unfolding-based Partial Order Reduction

Publication
In 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid Spain.