Rolt/sup MP/-replay of Lamport timestamps for message passing systems | IEEE Conference Publication | IEEE Xplore