Rosa, C.; Merz, S.; Quinson, M. A Simple Model of Communication APIs – Application to Dynamic Partial-Order Reduction. eceasst 2011, 35.