Partial-Order Reduction Is Hard.

Frdric Herbreteau, Sarah Larroze-Jardin, Igor Walukiewicz

Browse the full CONCUR paper archive.