Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas. Comparing Source Sets and Persistent Sets for Partial Order Reduction. In Luca Aceto, Giorgio Bacci, Giovanni Bacci 0001, Anna Ingólfsdóttir, Axel Legay, Radu Mardare, editors, Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Volume 10460 of Lecture Notes in Computer Science, pages 516-536, Springer, 2017. [doi]
Abstract is missing.