Kerridge, J., Welch, P., Wood, D., "Synchronisation primitives for highly parallel discrete event simulations", , 1999