Non-blocking roll-forward recovery for message passing systems | IEEE Conference Publication | IEEE Xplore