Verifying strong eventual consistency in distributed systems

Backlinks

1.

Verifying strong eventual consistency in distributed systems.