> Some features in our products use an event sourcing pattern
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?
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?
No comments yet.