Verifying strong eventual consistency in distributed systemsProceedings of the ACM on Programming Languages (PACMPL)

B F Victor, Martin Gomes, Dominic P Kleppmann, Alastair R Mulligan, Beresford
A blank post.

Backlinks

1.

B F Victor, Martin Gomes, Dominic P Kleppmann, Alastair R Mulligan, Beresford. Verifying strong eventual consistency in distributed systemsProceedings of the ACM on Programming Languages (PACMPL). 2017-10.