Revisiting Stateful Partial-Order Reduction. - Frédéric Herbreteau; Sarah Larroze-Jardiné; Gérald Point; Igor Walukiewicz (CoRR, 2024)

Partial-Order Reduction Is Hard. - Frédéric Herbreteau; Sarah Larroze-Jardiné; Igor Walukiewicz (CONCUR, 2025)