A simulation framework for concurrent object execution. - John Keane; Martin Cockshott (SMC, 1998)