Return to Article Details A Simple Model of Communication APIs – Application to Dynamic Partial-order Reduction Download Download PDF