Comment Comment by awwx > Some features in our products use an event sourcing patternAh, sounds very interesting!Are there any examples you'd be able to share?E.g. one example of a TLA+ assertion that your event store is serializable, or whatever you can? parent awwx 7 years ago
Ah, sounds very interesting!
Are there any examples you'd be able to share?
E.g. one example of a TLA+ assertion that your event store is serializable, or whatever you can?