Rosa, C., Merz, S. and Quinson, M. (2011) “A Simple Model of Communication APIs – Application to Dynamic Partial-order Reduction”, Electronic Communications of the EASST, 35. doi: 10.14279/tuj.eceasst.35.562.