Cartesian partial-order reduction

Keyphrases

• Concurrent Programs 100%
• Partial Order Reduction 100%
• State Transition 50%
• Small Sets 50%
• Nondeterminism 50%
• Order Reduction 50%
• Number of Threads 50%
• Potential Savings 50%
• Thread Interleaving 50%
• Dynamic Partial Order Reduction 50%
• Context Switch 50%

Computer Science

• Concurrent Program 100%
• Partial Order Reduction 100%
• And-States 50%
• Experimental Result 50%
• Reduction Algorithm 50%
• Nondeterminism 50%