Reversible distributed programs have the ability to abort unproductive computation paths and backtrack. while unwinding communication that occurred in the aborted paths. While it is natural to assume that reversibility implies full state recovery (as with traditional roll-back recovery protocols). an interesting alternative is to separate backtracking from local state recovery. https://danddcollectiblers.shop/product-category/sport-canteen/