Add exchange FSMs for Plumtree.
cmeiklejohn opened this issue · 1 comments
cmeiklejohn commented
These are missing, as they weren't needed for an evaluation of the model.
cmeiklejohn commented
Closing, added a naive anti-entropy mechanism based on message replay.