Failure Model

At-least-once delivery semantics and how flexiq recovers from crashes, timeouts, and partial writes.