https://www.coursera.org/learn/equivalences-abstraction-and-partial-order-reduction
Equivalences, Abstraction, and Partial Order Reduction | Coursera
Offered by University of Colorado Boulder. This course introduces methods to utilize abstraction and partial order methods to reduce the ... Enroll for free.
partial order reductionequivalencesabstractioncoursera
https://research.tue.nl/nl/prizes/partial-order-reduction-for-performance-analysis-of-max-plus-time/
Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems - Onderzoeksportaal...
partial order reductionfor performance
https://d3s.mff.cuni.cz/publications/parizek_hybrid_2016_2/
Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-to and Determinacy Information...
partial order reduction