Static Partial-Order Reduction of Concurrent Systems in Polynomial Time.

Robert Mittermayr, Johann Blieberger

Browse the full ISoLA paper archive.